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

Дворянский Л.В., Ломазова И.А. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools. Моделирование и анализ информационных систем. 2012;19(5):115-130. https://doi.org/10.18255/1818-1015-2012-5-115-130

For citation:

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