DEADLOCK ANALYSIS OF PETRI NETS USING THE TRANSITIVE MATRIX

Yujin Song; Jongkun Lee

doi:10.11499/sicep.2002.0.150.0

SICE Annual Conference 2002

DOI https://doi.org/10.11499/sicep.2002.0.150.0

会議情報

主催: The Society of Instrument and Control Engineers

共催: IEEE/Industiral Electronic Society, IEEE/Robotics and Automation Society, IEEE/Control System Society

DEADLOCK ANALYSIS OF PETRI NETS USING THE TRANSITIVE MATRIX

Yujin Song, Jongkun Lee

著者情報

キーワード: conflict, deadlock, Petri-nets, Transitive matrix

会議録・要旨集フリー

p. 150

詳細

抄録

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.

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）