![](/images/graphics-bg.png)
Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management
Joint Authors
Source
Mathematical Problems in Engineering
Issue
Vol. 2020, Issue 2020 (31 Dec. 2020), pp.1-18, 18 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2020-03-31
Country of Publication
Egypt
No. of Pages
18
Main Subjects
Abstract EN
In order to improve the efficiency of conformance checking in business process management, a business alignment approach is presented based on transition systems between relation matrices and Petri nets.
Firstly, a log-based relation matrix of the events is obtained according to the event log.
Then, the events in the relation matrix are observed and the transitions in the model are firing, and the activities in the log and in the model are compared.
Next, the states of the log and the model are recorded until no new state can be generated, so a transition system can be obtained which includes optimal alignments between the event log and the process model.
Finally, two detailed algorithms are presented to obtain an optimal alignment and all optimal alignments between the trace and the model based on the given cost function, respectively.
The availability and effectiveness of the proposed approach are proved theoretically.
American Psychological Association (APA)
Han, Dong& Tian, Yinhua. 2020. Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management. Mathematical Problems in Engineering،Vol. 2020, no. 2020, pp.1-18.
https://search.emarefa.net/detail/BIM-1193929
Modern Language Association (MLA)
Han, Dong& Tian, Yinhua. Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management. Mathematical Problems in Engineering No. 2020 (2020), pp.1-18.
https://search.emarefa.net/detail/BIM-1193929
American Medical Association (AMA)
Han, Dong& Tian, Yinhua. Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management. Mathematical Problems in Engineering. 2020. Vol. 2020, no. 2020, pp.1-18.
https://search.emarefa.net/detail/BIM-1193929
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1193929