Title :
A method for verifying deadlock freedom and liveness of petri nets
Author_Institution :
State Key Lab. Of Comput. Sci., Chinese Acad. of Sci., Beijing
Abstract :
A well-known sufficient condition for a Petri net to be deadlock-free is that every siphon contains a marked trap. This property is called the marked siphon-trap property and it is also sufficient and necessary for characterizing liveness of some subclasses of Petri nets. This paper shows that deadlock freedom of general Petri nets and liveness of some subclasses of Petri nets can be determined using cycles, meanwhile, the relation between siphons and cycles also is explored forward.
Keywords :
Petri nets; deadlock freedom; deadlock-free Petri nets; liveness characterization; marked siphon trap property; Computer science; Petri nets; Polynomials; Sufficient conditions; System recovery; Terminology;
Conference_Titel :
Circuits and Systems, 2008. ISCAS 2008. IEEE International Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
978-1-4244-1683-7
Electronic_ISBN :
978-1-4244-1684-4
DOI :
10.1109/ISCAS.2008.4541391
