Unfolding for Time Petri Net

Unfolding for Time Petri Net

State Class Graph is a very useful tool to analyse Time Petri nets properties. It generates however a states explosion problem in large Petri nets. This can be overcome by using unfolding technique, which still imposes restrictions on time analysis. This paper proposes a relaxation in the unfolding...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Revista IEEE América Latina 2017-05, Vol.15 (5), p.1001-1008
Hauptverfasser: Velez Benito, Franck Carlos, Kunzle, Luiz Allan
Format: Artikel
Sprache:eng ; por
Schlagworte:
Concurrent computing
Explosions
Face
Firing
Parallel processing
Petri nets
Time factors
Time Petri Nets
Unfolding
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:State Class Graph is a very useful tool to analyse Time Petri nets properties. It generates however a states explosion problem in large Petri nets. This can be overcome by using unfolding technique, which still imposes restrictions on time analysis. This paper proposes a relaxation in the unfolding process, which generates a new occurrence net, in which all temporal sequences are preserved.
ISSN:1548-0992
1548-0992
DOI:10.1109/TLA.2017.7912599