The Equivalency between Logic Petri Workflow Nets and Workflow Nets
Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mini...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2015-01-01
|
| Series: | The Scientific World Journal |
| Online Access: | http://dx.doi.org/10.1155/2015/121492 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849412013879459840 |
|---|---|
| author | Jing Wang ShuXia Yu YuYue Du |
| author_facet | Jing Wang ShuXia Yu YuYue Du |
| author_sort | Jing Wang |
| collection | DOAJ |
| description | Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have successfully been used to process mining. Some shortcomings cannot be avoided in process mining, such as duplicate tasks, invisible tasks, and the noise of logs. The online shop in electronic commerce in this paper is modeled to prove the equivalence between LPWNs and WF-nets, and advantages of LPWNs are presented. |
| format | Article |
| id | doaj-art-64f68f7e6e4c4aa6a70b36349807d151 |
| institution | Kabale University |
| issn | 2356-6140 1537-744X |
| language | English |
| publishDate | 2015-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | The Scientific World Journal |
| spelling | doaj-art-64f68f7e6e4c4aa6a70b36349807d1512025-08-20T03:34:35ZengWileyThe Scientific World Journal2356-61401537-744X2015-01-01201510.1155/2015/121492121492The Equivalency between Logic Petri Workflow Nets and Workflow NetsJing Wang0ShuXia Yu1YuYue Du2Shandong University of Science and Technology, Qingdao, ChinaShandong University of Science and Technology, Qingdao, ChinaShandong University of Science and Technology, Qingdao, ChinaLogic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have successfully been used to process mining. Some shortcomings cannot be avoided in process mining, such as duplicate tasks, invisible tasks, and the noise of logs. The online shop in electronic commerce in this paper is modeled to prove the equivalence between LPWNs and WF-nets, and advantages of LPWNs are presented.http://dx.doi.org/10.1155/2015/121492 |
| spellingShingle | Jing Wang ShuXia Yu YuYue Du The Equivalency between Logic Petri Workflow Nets and Workflow Nets The Scientific World Journal |
| title | The Equivalency between Logic Petri Workflow Nets and Workflow Nets |
| title_full | The Equivalency between Logic Petri Workflow Nets and Workflow Nets |
| title_fullStr | The Equivalency between Logic Petri Workflow Nets and Workflow Nets |
| title_full_unstemmed | The Equivalency between Logic Petri Workflow Nets and Workflow Nets |
| title_short | The Equivalency between Logic Petri Workflow Nets and Workflow Nets |
| title_sort | equivalency between logic petri workflow nets and workflow nets |
| url | http://dx.doi.org/10.1155/2015/121492 |
| work_keys_str_mv | AT jingwang theequivalencybetweenlogicpetriworkflownetsandworkflownets AT shuxiayu theequivalencybetweenlogicpetriworkflownetsandworkflownets AT yuyuedu theequivalencybetweenlogicpetriworkflownetsandworkflownets AT jingwang equivalencybetweenlogicpetriworkflownetsandworkflownets AT shuxiayu equivalencybetweenlogicpetriworkflownetsandworkflownets AT yuyuedu equivalencybetweenlogicpetriworkflownetsandworkflownets |