摘要 |
PURPOSE:To simplify a petrinet graph to be plotted by a simulation device based on Petrinet. CONSTITUTION:A central processor 1 in the simulation device based on the petrinet is newly equipped with a token rearrangement rule setting means 2-2 which arbitrarily sets the order of taking out of tokens in a place, and the token rearranging means 2-1 which executes the rearrangement of the tokens in the place according to the token rearrangement rule. Thus, the order of taking out of the token from the place can be set to be an arbitrary order such as a 'first-in first-out' 'first-in last-out' and 'random taking-out'. And also, the petrinet graph to be plotted at the time of applying a priority order to the movement of the tokens can be extremely simplified by using the function. |