For citations:

Ermakova V.O., Lomazova I.A. Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(4):115-136. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(4)-7