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

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!