METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS
https://doi.org/10.21686/2500-3925-2013-4-178-183
Abstract
Executable business process models, as well as programs, require evidence of a defect-free finish. The methods based on the formalism of Petri nets are widely used. A business process is a network of dishes, and its properties are set by the analysis of the properties of the network. The aim is to study the methods of displaying an executable business process model in a Petri net. Analysis of the properties of the resulting model allows us to prove a number of important properties: it is a network of free choice and clean without looping.
About the Author
Igor G. Fedorov
Moscow State University of Economics, Statistics and Informatics (MESI)
Russian Federation
Russian Federation
References
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.
Review
For citations:
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
Views:
438
.png)
.png)
Email this article 