METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS
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 s...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Plekhanov Russian University of Economics
2016-08-01
|
| Series: | Статистика и экономика |
| Subjects: | |
| Online Access: | https://statecon.rea.ru/jour/article/view/242 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849250651170668544 |
|---|---|
| author | Igor G. Fedorov |
| author_facet | Igor G. Fedorov |
| author_sort | Igor G. Fedorov |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-8e029f9deb964801b181dddcf1ab6488 |
| institution | Kabale University |
| issn | 2500-3925 |
| language | Russian |
| publishDate | 2016-08-01 |
| publisher | Plekhanov Russian University of Economics |
| record_format | Article |
| series | Статистика и экономика |
| spelling | doaj-art-8e029f9deb964801b181dddcf1ab64882025-08-20T03:57:12ZrusPlekhanov Russian University of EconomicsСтатистика и экономика2500-39252016-08-010417818310.21686/2500-3925-2013-4-178-183241METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETSIgor G. Fedorov0Moscow State University of Economics, Statistics and Informatics (MESI)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.https://statecon.rea.ru/jour/article/view/242верификация бизнес-процессовсети петриbpmnverification of business processespetri netsbpmn |
| spellingShingle | Igor G. Fedorov METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS Статистика и экономика верификация бизнес-процессов сети петри bpmn verification of business processes petri nets bpmn |
| title | METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS |
| title_full | METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS |
| title_fullStr | METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS |
| title_full_unstemmed | METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS |
| title_short | METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS |
| title_sort | method of displaying an executable business process models into petri nets |
| topic | верификация бизнес-процессов сети петри bpmn verification of business processes petri nets bpmn |
| url | https://statecon.rea.ru/jour/article/view/242 |
| work_keys_str_mv | AT igorgfedorov methodofdisplayinganexecutablebusinessprocessmodelsintopetrinets |