1. Popova-Zeugmann, L.: Time and Petri Nets. Springer, Heidelberg (2013)
2. Song, Y.-J., Lee, J.-K.: Analysis of Petri net models using transitive matrix. In: 2000 IEEE International Conference on Systems Man and Cybernetics, vol. 4, pp. 3122–3127 (2000). ISSN 1062-922X
3. Billington, J., Christensen, S., Van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Weber, M.: The Petri net markup language: concepts, technology, and tools. In: International Conference on Application and Theory of Petri Nets, pp. 483–505. Springer, Berlin Heidelberg, June 2003
4. Bucci, G., Vicario, E.: Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans. Softw. Eng. 21(12), 969–992 (1995)
5. Lakos, C.A., Keen, C.D.: LOOPN ++: a new language for object-oriented Petri nets, Department of Computer Science, University of Tasmania (1994)