In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 3, pages 793-797. 1999.
Abstract: This paper presents a new class of Petri nets called augmented FC (AFC) nets for modeling and analysis of manufacturing systems, where there exist local operation cycles. An AFC net is created by adding resource places to a structurally bounded (SB) and structurally live (SL) FC net that models operation flows. The paper shows that an AFC is live and reversible if there exist no empty siphons. Using Chu and Xie's mixed integer programming approach, the existence of empty siphons can efficiently be checked.
Keywords: augmented Petri nets, local operation cycles, manufacturing systems.