scholarly journals The Equivalency between Logic Petri Workflow Nets and Workflow Nets

2015 ◽  
Vol 2015 ◽  
pp. 1-7
Author(s):  
Jing Wang ◽  
ShuXia Yu ◽  
YuYue Du

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.

2012 ◽  
Vol 170-173 ◽  
pp. 3570-3574
Author(s):  
Wei Liu ◽  
Yu Yue Du ◽  
You Fu ◽  
Chun Yan

Combining the advantages of logical workflow nets and colored Petri nets, logical and colored workflow nets and collaborative logical and colored workflow nets are presented to facilitate the modeling of cooperative electronic commerce systems. The formal representation presented in this paper can not only describe the data objects, but also represent passing value indeterminacy and batch processing function of cooperative electronic commerce systems.


Author(s):  
Pnina Soffer ◽  
Maya Kaner ◽  
Yair Wand

A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual process into a net. Syntactically correct WF-nets may provide meaningful models of how organizations conduct their business processes. Moreover, the processes represented by these nets may not be feasible to execute or reach their business goals when executed. In this paper, the authors propose a set of rules for mapping the domain in which a process operates into a WF-net, which they derived by attaching ontological semantics to WF-nets. The rules guide the construction of WF-nets, which are meaningful in that their nodes and transitions are directly related to the modeled (business) domains. Furthermore, the proposed semantics imposes on the process models constraints that guide the development of valid process models, namely, models that assure that the process can accomplish its goal when executed.


2011 ◽  
Vol 6 (7) ◽  
Author(s):  
Yang Xu ◽  
Xiao Yao Xie ◽  
Huan Guo Zhang

Author(s):  
Lei Liu ◽  
Wei Liu ◽  
Yuyue Du

In the present modeling tools, there is no proper model to describe the fairness of resource scheduling for sharing systems. In order to solve this problem well, we propose a new sharing system and Queue Logical Petri nets. In this paper, a complete process of entering and leaving a garage is modeled by a Queue Logical Petri nets. Based on random arrival and exponential arrival, the average waiting time of vehicles, the average stay time in the queue and the average number of waiting vehicles in the queue are analyzed. According to reachable sequence of Queue Logical Petri net, the Invariant, the utilization of garage and the number of waiting vehicles are analyzed. And the validity of the sharing system with queue is proved by compared with other methods in the experiment.


2010 ◽  
Vol 21 (3) ◽  
pp. 1-35 ◽  
Author(s):  
Pnina Soffer ◽  
Maya Kaner ◽  
Yair Wand

A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual process into a net. Syntactically correct WF-nets may provide meaningful models of how organizations conduct their business processes. Moreover, the processes represented by these nets may not be feasible to execute or reach their business goals when executed. In this paper, the authors propose a set of rules for mapping the domain in which a process operates into a WF-net, which they derived by attaching ontological semantics to WF-nets. The rules guide the construction of WF-nets, which are meaningful in that their nodes and transitions are directly related to the modeled (business) domains. Furthermore, the proposed semantics imposes on the process models constraints that guide the development of valid process models, namely, models that assure that the process can accomplish its goal when executed.


The aim of process mining implement is firstly to discover the typical customer fulfillment business process-process mining act as a bridge between data mining and web mining. Process mining in an active innovative research area in recent year. The goal is to be extract process –related information from the event log by observing events recorded by some of the information system using the click stream method. Finally we are classifying the different categories of customer behavior using weka tool after we applied the knowledge miner. The result provides to find the different type of customer and their behavior and its helps the company to improve the product and satisfied customer needs.


Sign in / Sign up

Export Citation Format

Share Document