DocumentCode
1829568
Title
A method for verifying deadlock freedom and liveness of petri nets
Author
Jiao, Li
Author_Institution
State Key Lab. Of Comput. Sci., Chinese Acad. of Sci., Beijing
fYear
2008
fDate
18-21 May 2008
Firstpage
209
Lastpage
211
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISCAS.2008.4541391
Filename
4541391
Link To Document