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

Volume

3

fYear

1999

fDate

6/21/1905 12:00:00 AM

Firstpage

793

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on

Conference_Location

Tokyo

ISSN

1062-922X

Print_ISBN

0-7803-5731-0

Type

conf

DOI

10.1109/ICSMC.1999.823329

Filename

823329