Abstract: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.

A Transformation Approach from Workflow Net to PERT Diagram Based on Invariants

Calculating the Order Relations of Workflow Net with Invariant Method

Workflow Performance Analysis Based on Invariant Decomposition Algorithm

Enterprise Workflow Modeling Based on Priced Timed Petri Nets

Stochastic Workflow Nets Based Workflow Pattern Modeling

Scheduling Fmss Based On A Hybrid Petri Net Framework

Approach to Workflow Based on Petri Net

Linear Temporal Inference Of Workflow Management Systems Based On Timed Petri Nets Models

Performance modeling and analysis of workflow

Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets

Property-Transition-Net-Based Workflow Process Modeling and Verification

Petri net and its application in workflow system modeling and analysis

Schedulability analysis of workflow using timing constraint petri nets

A Method for Estimating the Cycle Time of Business Processes with Many-to-many Relationships among the Resources and Activities Based on Individual Worklists

Compositional Schedulability Analysis Of Workflow Using Timing Constraint Petri Nets

A Practical Scheduling Method Based on Workflow Management Technology

Schedulability Analysis Of Workflow Based On Fuzzy Timing Constraint Petri Nets

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

Efficient Collaborative Task Arrangement In Global Software Design Via Micro-Estimation And Pert Technique

An Enterprise User Oriented Workflow Model

Petri Net-Based Workflow Modeling for a Die and Mould Manufacturing Resource Planning System