PROBLEM TO BE SOLVED: To provide a means for carrying out simulation at a high speed in a device for carrying out simulation of a scattered phenomenon system such as physical distribution using Petri-net. SOLUTION: An attribute can be defined in at least a token and by using an attribute of the token, an ignition rule of a transition is determined using the extended Petri-net freely describable by a user. When some token arrangement is given, a possibility of ignition of not all the transition but the less number of transitions is searched by automatically disconnecting/connecting a relationship of the transition and the place from the token arrangement.
展开▼
