Free choice Petri nets
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Grounding the OML metamodel in ontology
Journal of Systems and Software
Modeling workflow processes with colored Petri nets
Computers in Industry
Distributed and Parallel Databases
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Research Commentary: Information Systems and Conceptual Modeling--A Research Agenda
Information Systems Research
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Ontology based object-oriented domain modelling: fundamental concepts
Requirements Engineering
YAWL: yet another workflow language
Information Systems
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Complexity metrics for Workflow nets
Information and Software Technology
Process Mining: Algorithm for S-Coverable Workflow Nets
WKDD '09 Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
BPM'03 Proceedings of the 2003 international conference on Business process management
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Semantic analysis of flow patterns in business process modeling
BPM'07 Proceedings of the 5th international conference on Business process management
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Using Ontology Languages for Conceptual Modeling
Journal of Database Management
A State-Based Intention Driven Declarative Process Model
International Journal of Information System Modeling and Design
Complexity analysis of a transfer center
UAHCI'13 Proceedings of the 7th international conference on Universal Access in Human-Computer Interaction: applications and services for quality of life - Volume Part III
| Hi-index | 0.00 |
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.