Translation from Workflow Nets to MSVL

2013 ◽  
pp. 281-296
Author(s):  
Ya Shi ◽  
Zhenhua Duan ◽  
Cong Tian
Keyword(s):  
Workflow Nets

Soundness preservation in composed logical time workflow nets

2012 ◽  
Vol 6 (1) ◽  
pp. 95-113 ◽  
Author(s):  
Wei Liu ◽  
YuYue Du ◽  
Chun Yan
Keyword(s):  
Workflow Nets ◽  
Logical Time

Transformation of Logical Workflow Nets

2014 ◽  
Vol 44 (10) ◽  
pp. 1401-1412 ◽  
Author(s):  
Wei Liu ◽  
YuYue Du ◽  
MengChu Zhou ◽  
Chun Yan
Keyword(s):  
Workflow Nets

scholarly journals Adaptive Workflow Nets for Grid Computing

2007 ◽  
pp. 15-21
Author(s):  
Carmen Bratosin ◽  
Kees van Hee ◽  
Natalia Sidorova
Keyword(s):  
Grid Computing ◽  
Workflow Nets ◽  
Adaptive Workflow

Defining Multi-Party Compromises using Unfoldings of Workflow Nets

2013 ◽  
Vol 128 (1-2) ◽  
pp. 97-111
Author(s):  
Michael Köhler-Bußmeier
Keyword(s):  
Workflow Nets

Assigning Ontological Meaning to Workflow Nets

2012 ◽  
pp. 209-244
Author(s):  
Pnina Soffer ◽  
Maya Kaner ◽  
Yair Wand
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Processes ◽  
Process Models ◽  
Actual Process ◽  
Workflow Nets ◽  
Business Process Models ◽  
Business Goals ◽  
General Constraints ◽  
Process Behavior

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.

Sign in / Sign up

Export Citation Format

Share Document