Title :
Case study of a Petri net synthesis technique for manufacturing modeling
Author_Institution :
Dept. of Electr. Eng., Nat. Taiwan Ocean Univ., Keelung, Taiwan
Abstract :
This paper presents a case study of Petri net synthesis technique that merges strongly connected state machine modules for modeling flexible manufacturing systems. This method is capable of modeling multiple initial statuses of resources, which is an extension of the author´s (1994) former work. To demonstrate the applicability of the method, the synthesis and analysis of a complex flexible manufacturing system is performed
Keywords :
Petri nets; finite state machines; flexible manufacturing systems; modelling; production control; FMS; Petri net synthesis; flexible manufacturing systems; manufacturing modeling; strongly connected state machine; Automatic control; Availability; Computer aided software engineering; Control system synthesis; Flexible manufacturing systems; Manufacturing systems; Merging; Oceans; Performance analysis; Virtual manufacturing;
Conference_Titel :
Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-2129-4
DOI :
10.1109/ICSMC.1994.399798
