A time stamp reduction method for state space exploration using colored Petri nets

Mercedes Narciso, Miquel Angel Piera, Antoni Guasch. A time stamp reduction method for state space exploration using colored Petri nets. Simulation, 88(5):592-616, 2012. [doi]

Abstract

Abstract is missing.