The present invention includes receiving a simulation model, subdividing the simulation model into a plurality of sub-models, receiving a token to be executed in the simulation model and initializing it to be executed in each of the plurality of sub-models, and the plurality of sub-models It relates to a method of processing a timed colored Petri net simulation model comprising generating an execution scenario for the token in each model and synchronizing the token to be executed through the plurality of sub-models.
展开▼