For citations:
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
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