Title :
A Petri net generating development support system
Author :
Oumi, Tatsuya ; Ding, Guojun ; Murakoshi, Hideki ; Sugiyama, Miki ; Dohi, Yasunori ; Cai, Yigang ; Shih, Heloisa Martins ; Sekiguchi, Takashi
Author_Institution :
Fac. of Eng., Yokohama Nat. Univ., Japan
fDate :
28 Oct-1 Nov 1991
Abstract :
The authors propose an automatic generating method for Petri nets. The whole system is divided into some submodules. The hardware construction of the system is considered, and the Petri net modules are prepared in advance, with each module corresponding to each constituent element of the system. The Petri net modules have a hierarchical structure. A textual form grammar to represent the Petri net modules and a linkage rule to connect each submodule are defined. The controlled objects can also be constructed as a module of the system, so that simulation and analysis of the system can be executed easily
Keywords :
Petri nets; control system CAD; control system analysis computing; factory automation; formal specification; grammars; software tools; Petri net generating development support system; control system CAD; control system analysis computing; factory automation; formal specification; linkage rule; software tools; textual form grammar; Automatic control; Computer aided instruction; Control systems; Couplings; Hardware; Joining processes; Lamps; Modular construction; Software systems; Switches;
Conference_Titel :
Industrial Electronics, Control and Instrumentation, 1991. Proceedings. IECON '91., 1991 International Conference on
Conference_Location :
Kobe
Print_ISBN :
0-87942-688-8
DOI :
10.1109/IECON.1991.239177
