Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования
https://doi.org/10.18255/1818-1015-2012-4-128-143
Аннотация
Об авторах
Михаил Георгиевич ДоррерРоссия
канд. техн. наук, доцент каф. системотехники
Виталий Валерьевич Курохтин
Россия
аспирант каф. системотехники
Список литературы
1. Jensen Kurt. Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use. Vol. 2: Analysis Methods. Berlin; Heidelberg; New York: Springler, 1997.
2. Доррер Г.А. Моделирование вычислительных систем: Учебное пособие для студентов направлений 552800 и 654600. Красноярск: СибГТУ, 2003. 188 с.
3. Доррер М.Г. Алгоритм преобразования моделей бизнесс-процессов в одноцветные сети Петри // Моделирование и анализ информационных систем. 2010. Т. 17, №2. С. 5—16.
4. Котов В.Е. Сети Петри. М.:Наука,1984.
5. Шеер А.-В. Бизнес-процессы. Основные понятия. Теория. Методы. М.: Весть-МетаТехнология, 1999. 182 с.
Рецензия
Для цитирования:
Доррер М.Г., Курохтин В.В. Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования. Моделирование и анализ информационных систем. 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