A Petri net generating development support system

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.<
>