Jensen, Kurt. 1994. “An Introduction to the Theoretical Aspects of Coloured Petri Nets”. DAIMI Report Series 13 (476). https://doi.org/10.7146/dpb.v13i476.6949.