A Petri net generating development support system

Abstract

In this paper, we propose an automatically generating method of Petri net. On generating, we divide the whole system into some sub-modules, take note of the hardware construction of the system, and prepare the Petri net modules in advance, each module corresponding to each constituent element of the system. The Petri net modules have a hierarchical structure. We define a textual form grammar to represent the Petri net modules, and the linkage rule to connect each sub-module. The controlled objects can be also constructed as a module of the system, so the simulation and analysis of the system can be executed easily.