For citations:

Dorrer M.G., Kurokhtin V.V. Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios. Modeling and Analysis of Information Systems. 2012;19(4):128-143. (In Russ.) https://doi.org/10.18255/1818-1015-2012-4-128-143