S. Simonak and D. Varga, “A Study on Petri Net Supporting Tools for System Modeling and Analysis”, J. inf. organ. sci. (Online), vol. 47, no. 1, Jun. 2023.