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 |