For citations:

Dworza´nski L.W., Lomazova I.A. CPN Tools-Assisted Simulation and Verification of Nested Petri Nets. Modeling and Analysis of Information Systems. 2012;19(5):115-130. (In Russ.) https://doi.org/10.18255/1818-1015-2012-5-115-130