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....
Saved in:
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
by: M. G. Dorrer, et al.
Published: (2015-02-01) -
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
by: D. A. Zaitsev
Published: (2015-03-01) -
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2015-03-01) -
Review of hierarchy in Petri Nets
by: Michał Markiewicz, et al.
Published: (2025-07-01) -
Petri net theory and the modeling of systems
by: Peterson, James Lyle
Published: (1981)