A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is
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