Zeigler [1976] Theory of Modelling and Simulation
Zeigler & Vahie [1993] DEVS Formalism and Methodology
Jensen [1997] A Brief Introduction to Coloured Petri Nets
Jensen [1994] An Introduction to the Theoretical Aspects of Coloured Petri Nets
Jensen [1996] An Introduction to the Practical Use of Coloured Petri Nets
