An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas
A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from this conversion allows investigating a business process topology and finding cycles and dead-ends....
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2010-06-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1026 |
| _version_ | 1826559034391527424 |
|---|---|
| author | M. G. Dorrer |
| author_facet | M. G. Dorrer |
| author_sort | M. G. Dorrer |
| collection | DOAJ |
| description | A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from this conversion allows investigating a business process topology and finding cycles and dead-ends. Moreover the Petri net matrix representation allows finding net invariants thus solving a task of finding all the business process development variants. |
| first_indexed | 2024-04-10T02:24:57Z |
| format | Article |
| id | doaj.art-759a54a4b8ba4f72abdc6f81ae32bfea |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2025-03-14T08:53:58Z |
| publishDate | 2010-06-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-759a54a4b8ba4f72abdc6f81ae32bfea2025-03-02T12:46:53ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172010-06-01172516767An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulasM. G. Dorrer0Сибирский государственный технологический университетA mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from this conversion allows investigating a business process topology and finding cycles and dead-ends. Moreover the Petri net matrix representation allows finding net invariants thus solving a task of finding all the business process development variants.https://www.mais-journal.ru/jour/article/view/1026business-processpetri netinvariant |
| spellingShingle | M. G. Dorrer An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas Моделирование и анализ информационных систем business-process petri net invariant |
| title | An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas |
| title_full | An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas |
| title_fullStr | An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas |
| title_full_unstemmed | An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas |
| title_short | An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas |
| title_sort | algorithm of converting business process models into monochrome petri nets on the basis of matrix formulas |
| topic | business-process petri net invariant |
| url | https://www.mais-journal.ru/jour/article/view/1026 |
| work_keys_str_mv | AT mgdorrer analgorithmofconvertingbusinessprocessmodelsintomonochromepetrinetsonthebasisofmatrixformulas AT mgdorrer algorithmofconvertingbusinessprocessmodelsintomonochromepetrinetsonthebasisofmatrixformulas |