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

Доррер М.Г., Курохтин В.В. Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования. Моделирование и анализ информационных систем. 2012;19(4):128-143. https://doi.org/10.18255/1818-1015-2012-4-128-143

For citation:

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