An Approach for Repairing Process Models Based on Logic Petri Nets
Process mining technology can extract process knowledge from event logs that are generated from information systems. It can construct a process model by mining the event logs. The model usually needs to be repaired to accurately describe the business process realized by the information system. The e...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2018-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8370624/ |
| _version_ | 1819170171369029632 |
|---|---|
| author | Xize Zhang Yuyue Du Liang Qi Haichun Sun |
| author_facet | Xize Zhang Yuyue Du Liang Qi Haichun Sun |
| author_sort | Xize Zhang |
| collection | DOAJ |
| description | Process mining technology can extract process knowledge from event logs that are generated from information systems. It can construct a process model by mining the event logs. The model usually needs to be repaired to accurately describe the business process realized by the information system. The existing methods for repairing process models cannot enhance efficiently some model consistency metrics, such as the fitness, precision, and simplicity. Thus, a new model repair approach is proposed based on an extended Petri net named logic Petri net in this paper. It can improve the model's fitness and precision comparing with the existing work. First, it builds process models via logic Petri nets. Next, approaches are proposed to repair the process models containing a causal relation and a concurrent relation, respectively. Specifically, a precursor set and a successor set of activities are defined and the relation of the elements in each of them is determined. Finally, we give some cases related to a thoracic surgery process in a hospital and conduct experiments to illustrate the correctness and effectiveness of the proposed approach. |
| first_indexed | 2024-12-22T19:31:09Z |
| format | Article |
| id | doaj.art-2b095aa25d214a8aa8a231c16b39fb45 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-22T19:31:09Z |
| publishDate | 2018-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-2b095aa25d214a8aa8a231c16b39fb452022-12-21T18:15:06ZengIEEEIEEE Access2169-35362018-01-016299262993910.1109/ACCESS.2018.28431378370624An Approach for Repairing Process Models Based on Logic Petri NetsXize Zhang0Yuyue Du1https://orcid.org/0000-0002-5586-109XLiang Qi2https://orcid.org/0000-0002-0762-5607Haichun Sun3College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, ChinaCollege of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, ChinaCollege of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, ChinaCollege of Information Technology and Network Security, People’s Public Security University of China, Beijing, ChinaProcess mining technology can extract process knowledge from event logs that are generated from information systems. It can construct a process model by mining the event logs. The model usually needs to be repaired to accurately describe the business process realized by the information system. The existing methods for repairing process models cannot enhance efficiently some model consistency metrics, such as the fitness, precision, and simplicity. Thus, a new model repair approach is proposed based on an extended Petri net named logic Petri net in this paper. It can improve the model's fitness and precision comparing with the existing work. First, it builds process models via logic Petri nets. Next, approaches are proposed to repair the process models containing a causal relation and a concurrent relation, respectively. Specifically, a precursor set and a successor set of activities are defined and the relation of the elements in each of them is determined. Finally, we give some cases related to a thoracic surgery process in a hospital and conduct experiments to illustrate the correctness and effectiveness of the proposed approach.https://ieeexplore.ieee.org/document/8370624/Process miningconsistency checkinglogic Petri netmodel repair |
| spellingShingle | Xize Zhang Yuyue Du Liang Qi Haichun Sun An Approach for Repairing Process Models Based on Logic Petri Nets IEEE Access Process mining consistency checking logic Petri net model repair |
| title | An Approach for Repairing Process Models Based on Logic Petri Nets |
| title_full | An Approach for Repairing Process Models Based on Logic Petri Nets |
| title_fullStr | An Approach for Repairing Process Models Based on Logic Petri Nets |
| title_full_unstemmed | An Approach for Repairing Process Models Based on Logic Petri Nets |
| title_short | An Approach for Repairing Process Models Based on Logic Petri Nets |
| title_sort | approach for repairing process models based on logic petri nets |
| topic | Process mining consistency checking logic Petri net model repair |
| url | https://ieeexplore.ieee.org/document/8370624/ |
| work_keys_str_mv | AT xizezhang anapproachforrepairingprocessmodelsbasedonlogicpetrinets AT yuyuedu anapproachforrepairingprocessmodelsbasedonlogicpetrinets AT liangqi anapproachforrepairingprocessmodelsbasedonlogicpetrinets AT haichunsun anapproachforrepairingprocessmodelsbasedonlogicpetrinets AT xizezhang approachforrepairingprocessmodelsbasedonlogicpetrinets AT yuyuedu approachforrepairingprocessmodelsbasedonlogicpetrinets AT liangqi approachforrepairingprocessmodelsbasedonlogicpetrinets AT haichunsun approachforrepairingprocessmodelsbasedonlogicpetrinets |