DocumentCode
2184444
Title
Reachability criterion of live free choice Petri nets
Author
Matsumoto, Tadashi
Author_Institution
Fac. of Eng., Fukui Univ., Japan
fYear
1996
fDate
18-21 Nov 1996
Firstpage
350
Lastpage
353
Abstract
Reachability problem is one of big issues in Petri net theory and it is reduced to that of free choice nets. However, a useful criterion has not been obtained for them. In this paper, some useful discussions on reachability of live free choice nets are presented; a net reduction method for a given net to the net with siphon/trap and a concept of immature siphon/trap are shown to judge the reachability of a given net
Keywords
Petri nets; discrete event systems; Petri net theory; immature siphon/trap; live free choice Petri nets; net reduction method; reachability criterion; Discrete event systems; Equations; Joining processes; Optimized production technology; Petri nets; Postal services; Terminology;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1996., IEEE Asia Pacific Conference on
Conference_Location
Seoul
Print_ISBN
0-7803-3702-6
Type
conf
DOI
10.1109/APCAS.1996.569288
Filename
569288
Link To Document