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

fYear

1991

fDate

28 Oct-1 Nov 1991

Firstpage

861

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Electronics, Control and Instrumentation, 1991. Proceedings. IECON '91., 1991 International Conference on

Conference_Location

Kobe

Print_ISBN

0-87942-688-8

Type

conf

DOI

10.1109/IECON.1991.239177

Filename

239177