User: Guest  Login
Original title:
Grundlagen strukturierten Spezifizierens mit höheren Netzen
Translated title:
Basics of structured specification with high level nets
Author:
Heise, Andreas
Year:
2002
Document type:
Dissertation
Faculty/School:
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
WWW:
https://mediatum.ub.tum.de/?id=601713
Date of submission:
22.03.2002
Oral examination:
15.07.2002
File size:
2137156 bytes
Pages:
324
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss2002071516984
Last change:
04.07.2007
 BibTeX