Title :
Enhanced knitting technique to Petri net synthesis
Author :
Wang, David T. ; Chao, Daniel Y.
Author_Institution :
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
The authors´ knitting technique (1994) has been applied to Petri net (PN) modeling and analysis of manufacturing systems. The advantages of the knitting technique include the possibility of implementation as a CAD tool, the preservation of liveness, boundedness, and reversibility (well-behaved properties), and the close control of concurrency and nondeterminism. Therefore, using the knitting technique, designers can build up a PN model for a complicated system without much difficulty. However, there are some limitations in the knitting technique; we enhance it in this work
Keywords :
Petri nets; manufacture; CAD tool; Petri net synthesis; boundedness; concurrency; enhanced knitting technique; liveness preservation; manufacturing systems; modeling; nondeterminism; reversibility; well-behaved properties; Chaos; Design automation; Displays; Fires; Flexible manufacturing systems; Manufacturing systems; Performance analysis;
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.399915
