Coloured Petri net scheduling models: Timed state space exploration shortages

M. A. Piera, G. Music. Coloured Petri net scheduling models: Timed state space exploration shortages. Mathematics and Computers in Simulation, 82(3):428-441, 2011. [doi]

Abstract

Abstract is missing.