Title :
Reachability criterion of live free choice Petri nets
Author :
Matsumoto, Tadashi
Author_Institution :
Fac. of Eng., Fukui Univ., Japan
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;
Conference_Titel :
Circuits and Systems, 1996., IEEE Asia Pacific Conference on
Conference_Location :
Seoul
Print_ISBN :
0-7803-3702-6
DOI :
10.1109/APCAS.1996.569288
