Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
An Introduction to the Theoretical Aspects of Coloured Petri Nets
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Pattern based workflow design using reference nets
BPM'03 Proceedings of the 2003 international conference on Business process management
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
The development of workflow management system requires satisfactory models and concepts. As mentioned in [W.M.P. van der Aalst and Arthur H.M.ter Hofstede, YAWL: Yet Another Workflow Language, QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002], classical Petri nets are not suitable to describe some advanced workflow patterns, thus this paper presents a Petri-net-based model characterized by places with new properties which are suitable to represent some advance workflow patterns. Many workflow models confuse the behaviors of workflow engine and external environment(tasks), and fail to describe the real semantics of workflow engine. In our model, through separating transitions from routings, the place will describe the behaviors of engine and the transition will describe the behavior of task. Because workflow engine is a reactive system, the token-game semantic behavior of a Petri net-based workflow model will differ from its behavior at run time. However, the semantics of property-transition-net-based model with ST firing rules is suitable enough to capture the behavior of workflow process. In this paper the formal definitions and semantics of this model are discussed in detail. This paper concludes with an introduction of a verification technique for structure-soundness detection based on some new reduction rules.