PROBLEM TO BE SOLVED: To provide a means by which not only competition of plural token in a place but also the competition of plural transitions are freely and easily dissolved by a use in a device at least capable of defining an attribute to a token and to simulate a discrete event system like physical distribution, etc., by using an extension Petri net in which an ignition rule of the transition is freely described by using the attribute of the token by the user. SOLUTION: The priority level of the ignition is calculated by executing a program set by an ignition priority level setting means 110. All combinations 112 of ignition tokens of every transition are calculated. The transition is ignited by the ignition token 112 in an order of high priority level of the ignition which is calculated before, the token is deleted from an input place and transmitted to an output place by an ignition processing means 111.
展开▼
