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

Башкин В.А., Ломазова И.А. О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом. Моделирование и анализ информационных систем. 2013;20(4):23-40. https://doi.org/10.18255/1818-1015-2013-4-23-40

For citation:

Bashkin V.A., Lomazova I.A. On the Decidability of Soundness of Workflow Nets with an Unbounded Resource. Modeling and Analysis of Information Systems. 2013;20(4):23-40. (In Russ.) https://doi.org/10.18255/1818-1015-2013-4-23-40