1. Bouajjani, A. and Habermehl, P. (1996). Constrained properties, semilinear systems and Petri nets. In Montanari, U. and Sassone, V., editors, Proceedings of CONCUR’96, volume 1119 of LNCS. Springer Verlag.
2. Esparza, J. (1997). Decidability of model checking for infinite-state concurrent systems. Acta Informatica, 34:85–107.
3. Haddad, S. and Poitrenaud, D. (1999a). Decidability and undecidability results for recursive Petri nets. Technical Report 019, LIP6, Paris VI University, Paris, France.
4. Haddad, S. and Poitrenaud, D. (1999b). Theoretical aspects of recursive Petri nets. In Proc. 20th Int. Conf. on Applications and Theory of Petri nets, volume 1639 of Lecture Notes in Computer Science, pages 228–247, Williamsburg, VA, USA. Springer Verlag.
5. Jensen, K. (1987). Coloured Petri nets. In Brawer, W., Reisig, W., and Rozenberg, G., editors, Advances on Petri Nets’ 86 — Part I, volume 254 of LNCS, pages 248–299. Springer Verlag, Bad Honnef, West Germany.