1. Canevet C., Gilmore S., Hillston J., Kloul L., Stevens P. (2004). “Analysing UML 2.0 activity diagrams in the software performance engineering process”, Proceedings of the fourth international workshop on Software and performance, Volume 29 Issue 1.
2. “On Staecharts with Overlapping”;Harel;ACM Transactions on Software Engineering and Methodology,1992
3. Jensen K. (1995a). “Coloured Petri Nets, Basic Concepts, Analysis methods and Practical Use”, Vol. 1, Berlin Heidelberg, Springer-Verlag.
4. Jensen K. (1995b). “Coloured Petri Nets, Basic Concepts, Analysis methods and Practical Use”, Vol. 2, Berlin Heidelberg, Springer-Verlag.
5. Kowalski T. (2000). “Examples of Petri net application for describe expressions in Unified Modeling Language (in Polish)”. Report, WZI, Wroclaw University of Technology.