On the abstraction of coloured Petri Nets

On the abstraction of coloured Petri Nets

This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. In doing so, it attempts to maintain the duality between places and transitions which is so foundational to Petri Net theory. It also defines what it means to execute the net at an abstra...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Lakos, Charles
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Abstraction
Applied sciences
Computer science
control theory
systems
Duality
Exact sciences and technology
Miscellaneous
Theoretical computing
Theory of High-Level Petri Nets
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. In doing so, it attempts to maintain the duality between places and transitions which is so foundational to Petri Net theory. It also defines what it means to execute the net at an abstract level.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-63139-9_29