DocumentCode
393458
Title
Deadlock analysis of Petri nets using the transitive matrix
Author
Song, Yujin ; Lee, Jongkun
Author_Institution
LIS/Comput. Eng. Dept, Changwon Nat. Univ., South Korea
Volume
2
fYear
2002
fDate
5-7 Aug. 2002
Firstpage
689
Abstract
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.
Keywords
Petri nets; system recovery; systems analysis; Petri nets; deadlock analysis; deadlock-free condition; transitive matrix; Algorithm design and analysis; Concurrent computing; Explosions; Flexible manufacturing systems; Mathematical model; Petri nets; Production; Scheduling algorithm; State-space methods; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
SICE 2002. Proceedings of the 41st SICE Annual Conference
Print_ISBN
0-7803-7631-5
Type
conf
DOI
10.1109/SICE.2002.1195239
Filename
1195239
Link To Document