PURPOSE:To easily attain the formation of a large Petri net graph by hierarchically dividing the whole Petri net and collectively managing the divided Petri net. CONSTITUTION:A Petri net management graph includes a formed Petri net as a variable and the existence of hierarchical Petri net in the Petri net concerned is decided by checking the Petri net variable (repNodes). When the hierarchical Petri net exists, the variable (petriNet) of a representative node in the variable (repNodes) is checked to search the body of the Petri net. When the body is not included in a main storage device 202, the contents of an auxiliary storage device 206 is checked and then the variable (repNodes) of the Petri net is checked. After completing the check of representative nodes in all the repNodes, display work is started. Namely, the number of hierarchies in the whole Petri net is checked, a tree is constituted in accordance with the dependent relation of respective hierarchies and respective hierarchies are automatically named and displayed on a display device 203. Thus, the whole constitution can be extremely cleared by observing the whole Petri net management graph.
展开▼