1. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times—A tool for modelling and implementation of embedded systems. In: Proceedings of TACAS’02, LNCS, vol. 2280, pp. 460–464 (2002)
2. Edelkamp, S.: Promela planning. In: Proceedings of SPIN’03, LNCS, vol. 2648, pp. 197–212 (2003)
3. Gallasch, G., Kristensen, L.M.: Comms/CPN: A communication infrastructure for external communication with design/CPN. In: Proceedings of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 79–93. Department of Computer Science, University of Aarhus, 2001. DAIMI PB-554
4. Ghallab M., Nau D. and Traverso P. (2004). Automated Planning: Theory and Practice. Elsevier, Amsterdam
5. Jensen, K.: Coloured Petri Nets—Basic Concepts, Analysis Methods and Practical Use, vol. 1–3. Springer, Heidelberg (1992–1997)