Deadlock analysis of Petri nets using the transitive matrix

Deadlock analysis of Petri nets using the transitive matrix

In this paper, we focus on the analysis of the deadlock problem in Petri nets using the transitive matrix. The transitive matrix may explain all relations between the place and transitions in Petri nets. Since the deadlock problem occurred by the relationship between more than two transitions based...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Yujin Song, Jongkun Lee
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Algorithm design and analysis
Concurrent computing
Explosions
Flexible manufacturing systems
Mathematical model
Petri nets
Production
Scheduling algorithm
State-space methods
System recovery
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper, we focus on the analysis of the deadlock problem in Petri nets using the transitive matrix. The transitive matrix may explain all relations between the place and transitions in Petri nets. Since the deadlock problem occurred by the relationship between more than two transitions based on the conflict places, we propose a find deadlock status algorithm after define the deadlock-free condition in the transitive matrix. Also, we show an example.
DOI:10.1109/SICE.2002.1195239