Performance and Reliability Analysis Using Directed Acyclic Graphs
IEEE Transactions on Software Engineering
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
Truncation of Markov chains with applications to queueing
Operations Research
A decomposition approach for stochastic reward net models
Performance Evaluation
Simulation modeling within workflow technology
WSC '95 Proceedings of the 27th conference on Winter simulation
A compositional approach to performance modelling
A compositional approach to performance modelling
State of the art in workflow management research and products
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Dynamic Routing and Operational Controls in Workflow Management Systems
Management Science
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Distributed and Parallel Databases
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Design Patterns: Abstraction and Reuse of Object-Oriented Design
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Fixed point iteration using stochastic reward nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Evaluation of high level Petri nets by means of aggregation and decomposition
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Flexible Exception Handling in the OPERA Process Support System
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
A Cooperative Framework for Inter-Organizational Workflow System
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
YAWL: yet another workflow language
Information Systems
Query nets: interacting workflow modules that ensure global termination
BPM'03 Proceedings of the 2003 international conference on Business process management
Performance analysis modeling applied to business processes
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
| Hi-index | 0.09 |
This paper presents a novel method to simplify stochastic workflow networks for their performance analysis under a unified computable framework. This method is based on two techniques: (1) module simplification, and (2) PH equivalence and PH approximation. In the first technique, simplified procedures for at least four crucial modules: sequential routing, parallel routing, selective routing and iterative routing are given, respectively; while in the second technique, the closure properties and the two-order approximation for the PH distributions are discussed. Using this method, we analyze several examples for the stochastic workflow networks and illustrate that performance evaluation of complicated stochastic workflow networks can be obtained by means of subsystems which are clearly constructed by some of the four structured modules. Numerical examples indicate that the method of this paper can tackle large-scale and complicated stochastic workflow networks with both effective approximation and low computational complexity.