Hochschulschrift
Modular construction and partial order semantics of Petri nets
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540557678
3540557679
9780387557670
0387557679
- Dimensions
-
25 cm
- Extent
-
VIII, 252 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: München, Techn. Univ., Habil.-Schr.
- Bibliographic citation
-
Lecture notes in computer science ; 625
- Keyword
-
Verteiltes System
Nebenläufigkeit
Petri-Netz
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1992
- Creator
-
Vogler, Walter
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:37 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Vogler, Walter
- Springer
Time of origin
- 1992
Other Objects (12)
Partial order semantics of types of Nets
Process semantics of Petri nets over partial algebra
![Object coordination nets 3.0, [...]. Semantics specification](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Object coordination nets 3.0, [...]. Semantics specification
Complete process semantics for inhibitor nets
Semantics of Petri nets: a comparison
Petri nets over partial algebra
Nested Petri nets: behavioural analysis and time semantics
Partial order semantics and read arcs
Transformation systems semantics and compositionality of algebraic Petri nets
Synthesis of Petri nets from infinite partial languages
Synthesis of Petri nets from finite partial languages
Syntax and semantics of construction
Partial order semantics of types of Nets
Process semantics of Petri nets over partial algebra
Object coordination nets 3.0, [...]. Semantics specification
Complete process semantics for inhibitor nets
Semantics of Petri nets: a comparison
Petri nets over partial algebra
Nested Petri nets: behavioural analysis and time semantics
Partial order semantics and read arcs
Transformation systems semantics and compositionality of algebraic Petri nets
Synthesis of Petri nets from infinite partial languages
Synthesis of Petri nets from finite partial languages
Syntax and semantics of construction
Partial order semantics of types of Nets
Process semantics of Petri nets over partial algebra
Object coordination nets 3.0, [...]. Semantics specification
Complete process semantics for inhibitor nets
Semantics of Petri nets: a comparison
Petri nets over partial algebra
Nested Petri nets: behavioural analysis and time semantics
Partial order semantics and read arcs
Transformation systems semantics and compositionality of algebraic Petri nets
Synthesis of Petri nets from infinite partial languages
Synthesis of Petri nets from finite partial languages