Petri nets for modeling and analysis of manufacturing systems with local operation cycles

MuDer Jeng, YiSheng Huang
IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028)  
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. We show that an AFC is live and reversible iff there exist no empty siphons. Using Chu and Xie's mixed integer programming approach, the existence of empty siphons can efficiently be checked. '
doi:10.1109/icsmc.1999.823329 fatcat:pzcg5mq4cvf2pjzniujdu57p3e