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....

Full description

Bibliographic Details
Main Author: M. G. Dorrer
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