Для цитирования:

Ермакова В.О., Ломазова И.А. Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток. Труды Института системного программирования РАН. 2016;28(4):115-136. https://doi.org/10.15514/ISPRAS-2016-28(4)-7

For citation:

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