1. Petri nets : fundamental models, verification, and applications. Michel Diaz (ed.) Willey, 2009. 581 p.
2. ISO/IEC 15909-1:2004 Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation. [Online] - Available from: https://www.iso.org/standard/38225.html, last accessed 2022/07/2.
3. CPNTools [Online] - Available from: https://cpntools.org/
4. Jensen, K., Kristensen, L.M. (2009). CPN ML Programming. In: Coloured Petri Nets. Springer, Berlin, Heidelberg. https://doi. org/10.1007/b95112_3.
5. Стеценко И.В. (2011) Теоретические основы Петри объектного моделирования систем. Математичні машини і системи, 136-148.