Полноэкранный режим

Для цитирования: Дворянский Л.В., Ломазова И.А. Имитационное моделирование и верификация вложенных сетей Петри с использованием 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

Просмотров: 354

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)