Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования
Аннотация
Об авторах
Михаил Георгиевич ДоррерРоссия
канд. техн. наук, доцент каф. системотехники
Виталий Валерьевич Курохтин
Россия
аспирант каф. системотехники
Список литературы
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