Optimized Colored Nets Unfolding

As some structural properties, like generative families of positive P-invariants, can only be computed in P/T nets, unfolding of Colored Petri Nets is of interest. However, it may generate huge nets that cannot be stored concretely in memory. In some cases, removing the dead parts of the unfolded ne...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Kordon, Fabrice, Linard, Alban, Paviot-Adet, Emmanuel
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer Science Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!