PURPOSE: To obtain a carrier simulator for a parallel process by providing the simulator with a means for determining a transition to be fired based on a firing sequence and a net model and outputting a firing instruction for firing the determined transition.
CONSTITUTION: Various data indicating the characteristics and states of simulation models formed by simulation model forming means 1 to 3 are stored in a data base 4. When the data are stored in the data base 4, a vehicle distributing controller 5b finds out the firing sequence of a transition to be fired corresponding to a carrying request from the net model 9 based on the carrying request. The found firing sequence is written in a firing sequence data part 10, the transition to be fired is determined from the data part 10 and the model 9 by an operation controller 5c and a firing instruction is outputted. When all places on the input side of the transition to be fired exist and no token exists in all places on the output side are decided by a conditional function 9a, the state of the data base 4 is updated by a firing function 9b.
JPH03287331 | ARTICLE FEEDING METHOD |
JPH05181527 | AUTOMATIC CONVEYER |
TODA MASAAKI
ENDO SHINICHIRO