Title :
Generation and analysis of synthesis rules for Petri nets with applications to manufacturing
Author :
Jeng, Mu Der ; Shieh, Chient Lung
Author_Institution :
Dept. of Electr. Eng., Nat. Taiwan Ocean Univ., Keelung, Taiwan
Abstract :
This paper describes the strategy adopted in a general software tool for generation and analysis of synthesis rules for Petri nets. With this tool, the user can design rules with the help of a functional synthesis language. By executing the rules, the tool can verify the synthesis process and detect any rule violations. In addition, performance analysis of the rules can be carried out by the tool to rapidly evaluate the efficiency of the rules
Keywords :
Petri nets; digital simulation; engineering graphics; manufacture; simulation languages; Petri nets; functional synthesis language; manufacturing; software tool; synthesis rules analysis; synthesis rules generation; Analytical models; Application software; Graphics; Lungs; Manufacturing; Merging; Oceans; Petri nets; Software design; Software tools;
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.399916
