Modeling and analysis of distributed state space generation for timed Petri nets

The performance of distributed generation of the state space for timed Petri nets is rather sensitive to the type of analyzed nets. In order to analyze the performance of such an application, the distributed generation is represented by a timed Petri net and the behavior of this net is studied, using a simulation technique, for different combinations of modeling parameters.