МЕТОД ОТОБРАЖЕНИЯ ИСПОЛНЯЕМОЙ МОДЕЛИ БИЗНЕС-ПРОЦЕССА В СЕТИ ПЕТРИ
https://doi.org/10.21686/2500-3925-2013-4-178-183
Аннотация
Исполняемые модели бизнес-процессов, как и программы, нуждаются в доказательстве бездефектного завершения. Сегодня широко используются методы, основанные на формализме сетей Петри. Бизнес-процесс представляется сетью Петри, а его свойства устанавливаются путем анализа свойств сети. Целью работы является исследование методов отображения исполняемой модели бизнес-процесса в сети Петри. Анализ свойств полученной модели позволяет доказать ряд важных свойств: она является сетью свободного выбора и чистой, не имеет зацикливаний.
Ключевые слова
верификация бизнес-процессов,
сети Петри,
BPMN,
verification of business processes,
Petri nets,
BPMN
Об авторе
Игорь Григорьевич Фёдоров
Московский государственный университет экономики, статистики и информатики (МЭСИ)
Россия
Россия
Список литературы
1. Silver B. // BPMS Watch. 2006. URL: http://brsilver.com/whats-wrong-with-this-picture-part-3/
2. van der Aalst W. van Hee K. ter Hofstede A.Sidorova N. Verbeek H. Voorhoeve M. W.M., "Soundness of Workflow Nets: Classification, Decidability, and Analysis," Formal Aspects of Computing, Vol. Volume 23, No. Issue 3, May 2011. pp. 333-363.
3. Kiepuszewski B., ter Hofstede A., and van der Aalst W., "Fundamentals of Control Flow in Workflows," Vol. 39, No. 3, 2002.
4. van der Aalst W., "A class of Petri nets for modeling and analyzing business processes," Computing Science Report, Eindhoven Univ. of Technology , Vol. 95, No. 26, 1995.
5. van der Aalst W., "The application of Petri nets to workflow management," Journal of Circuits, Systems and Computers, Vol. 8, No. 1, 1998. pp. 21-66.
6. Dijkman R. Dumas M. Ouyang C., "Formal Semantics and Analysis of BPMN Process Models using Petri Nets," No. http://eprints.qut.edu.au/7115/01/7115.pdf, 2007.
7. Питерсон Д. Теория сетей Петри и моделирование систем. Москва: Мир, 1984.
8. Murata T., "Petri Nets: Properties, Analysis and Applikations," Proceedings of the IEEE, , Vol. 77, No. 4, Apri 1989. pp. 541-80.
9. Фёдоров И.Г. Моделирование бизнес-процесов в нотации BPMN 2.0. МЭСИ ed. Москва. 2013.
10. Desel J. E.J. Free Choice Petri Nets. Cambridge University Press, 1997.
11. Sharp А. M.P. Workflow Modeling, Artech House Publishers. Artech House Publishers.
12. Schmidt K. Computation of Invariants for Algebraic Petri Nets // Workshop on Concurrency, Specification and Programming (CS&P'93), Proceedings. Warsaw, Poland,. 1993. pp. 196-218.
13. Silver B. // BPMS Watch. 2006. URL: http://brsilver.com/whats-wrong-with-this-picture-part-3/
14. van der Aalst W. van Hee K. ter Hofstede A.Sidorova N. Verbeek H. Voorhoeve M. W.M., "Soundness of Workflow Nets: Classification, Decidability, and Analysis," Formal Aspects of Computing, Vol. Volume 23, No. Issue 3, May 2011. pp. 333-363.
15. Kiepuszewski B., ter Hofstede A., and van der Aalst W., "Fundamentals of Control Flow in Workflows," Vol. 39, No. 3, 2002.
16. van der Aalst W., "A class of Petri nets for modeling and analyzing business processes," Computing Science Report, Eindhoven Univ. of Technology , Vol. 95, No. 26, 1995.
17. van der Aalst W., "The application of Petri nets to workflow management," Journal of Circuits, Systems and Computers, Vol. 8, No. 1, 1998. pp. 21-66.
18. Dijkman R. Dumas M. Ouyang C., "Formal Semantics and Analysis of BPMN Process Models using Petri Nets," No. http://eprints.qut.edu.au/7115/01/7115.pdf, 2007.
19. Piterson D. The theory of Petri nets and simulation systems. Moskva: Mir, 1984.
20. Murata T., "Petri Nets: Properties, Analysis and Applikations," Proceedings of the IEEE, , Vol. 77, No. 4, Apri 1989. pp. 541-80.
21. Fedorov I.G. Business process modeling notation in BPMN 2.0. MESI ed. Moskva. 2013.
22. Desel J. E.J. Free Choice Petri Nets. Cambridge University Press, 1997.
23. Sharp А. M.P. Workflow Modeling, Artech House Publishers. Artech House Publishers.
24. Schmidt K. Computation of Invariants for Algebraic Petri Nets // Workshop on Concurrency, Specification and Programming (CS&P'93), Proceedings. Warsaw, Poland,. 1993. pp. 196-218.
Рецензия
Для цитирования:
Фёдоров И.Г. МЕТОД ОТОБРАЖЕНИЯ ИСПОЛНЯЕМОЙ МОДЕЛИ БИЗНЕС-ПРОЦЕССА В СЕТИ ПЕТРИ. Статистика и Экономика. 2013;(4):178-183. https://doi.org/10.21686/2500-3925-2013-4-178-183
For citation:
Fedorov I.G. METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS. Statistics and Economics. 2013;(4):178-183. (In Russ.) https://doi.org/10.21686/2500-3925-2013-4-178-183
Просмотров:
437
.png)
.png)
Послать статью по эл. почте 