User: Guest  Login
Original title:
Grundlagen strukturierten Spezifizierens mit höheren Netzen 
Translated title:
Basics of structured specification with high level nets 
Year:
2002 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Brauer, Wilfried (Prof. Dr. Dr. hc.) 
Referee:
Brauer, Wilfried (Prof. Dr. Dr. hc.); Ehrig, Hartmut (Prof. Dr.) 
Format:
Text 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Höhere Petri-Netze; abstrakte Datentypen; True Concurrency Semantik 
Translated keywords:
high level Petri nets; abstract datatypes; true concurrency semantics 
Controlled terms:
Petri-Netz; Nebenläufigkeit; Algebraische Spezifikation; Semantik 
TUM classification:
DAT 516d; DAT 557d 
Abstract:
Ziel der Arbeit ist es, die Grundlagen für ein modulares Spezifizieren nebenläufiger Systeme mit Petrinetzen zu legen und das modulare Analysieren von Systemeigenschaften zu ermöglichen. Dabei liegt der Schwerpunkt auf der Entwicklung der dazu notwendigen Theorie, deren Praxisbezug aber stets erkennbar bleibt. Mit den Algebraischen High-Level-Netzen erweitern wir eine der für praktische Anwendungen geeignetsten Petrinetzklassen und bringen sie, durch die Einführung von Kompositions- und Paramete...    »
 
Translated abstract:
The purpose of this paper is to provide the foundation for: a modular specification of concurrent systems with Petri nets and a modular analysis of system properties. The focus hereby lies on the development of the necessary theory with a clear identifiable relation to practice. With the algebraic High-Level-Nets, we augment one of the most powerful petri net classes. By introducing composition and parameterisation operations an important step is taken towards their application in the area of co...    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
15.07.2002 
File size:
2137156 bytes 
Pages:
324 
Last change:
04.07.2007