Processes of place/transition-nets

The idea of representing nonsequential processes as partially ordered sets (occurrence nets), is applied to place/transitions-nets (Petrinets), generalizing the well known notion of process for condition/ event-systems. For occurrence nets some theorems relating K-density, cut-finiteness and discret...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Goltz, U., Reisig, W.
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Causal Component Firing Sequence Reachable Marking Token Count Transition Firing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!