Title :
Petri nets for modeling and analysis of manufacturing systems with local operation cycles
Author :
Jeng, MuDer ; Huang, YiSheng
Author_Institution :
Dept. of Electr. Eng., Nat. Taiwan Univ., Keelung, Taiwan
fDate :
6/21/1905 12:00:00 AM
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 (SE) and structurally live (SL) FC net that models operation flows. We show that an AFC is live and reversible if there exist no empty siphons. Using Chu and Xie´s (1997) mixed integer programming approach, the existence of empty siphons can efficiently be checked
Keywords :
Petri nets; integer programming; manufacturing industries; Petri nets; augmented FC nets; empty siphons; local operation cycles; manufacturing systems modeling; mixed integer programming; operation flows; structurally bounded FC net; structurally live FC net; Automatic frequency control; Business; Circuits; Linear programming; Manufacturing systems; Marine technology; Oceans; Petri nets; Semiconductor device manufacture; Semiconductor device modeling;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.823329
