DocumentCode
291912
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
Volume
1
fYear
1994
fDate
2-5 Oct 1994
Firstpage
664
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1994.399916
Filename
399916
Link To Document