A stochastic model for workflow QoS evaluation
Scientific Programming - Scientific Workflows
A cooperative process-management system based on the manufacturing grid
International Journal of Computer Integrated Manufacturing - Networked Manufacturing and Mass Customization in the ECommerce Era: the Chinese Perspective
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Dwelling time probability density distribution of instances in a workflow model
Computers and Industrial Engineering
Soundness for S- and A-timed workflow nets is undecidable
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling and analyzing resource-constrained business processes
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Refinement of Petri nets in workflow integration
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
Stochastic modeling and quality evaluation of workflow systems based on QWF-Nets
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Performance bounds for a class of workflow diagrams
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
Discovering process models from event multiset
Expert Systems with Applications: An International Journal
Performance analysis for workflow management systems under role-based authorization control
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
Concurrency and Computation: Practice & Experience
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
Hi-index | 0.00 |
Workflow model analysis is performed at logic, temporal, and performance levels. This paper mainly deals with the performance level issues. Workflow net (WF-net) is extended with time information to the timing workflow net (TWF-net). To provide a formal framework for modeling and analyzing workflow, this paper proposes a multidimension workflow net (MWF-net) that include multiple TWF-nets and the organization and resource information. The algorithm to decompose a free-choice and acyclic Petri nets (PN) into a set of T-components is extended to a TWF-net containing iteration structures. Then, resource availability and workload analysis is performed. A method for computing the lower bound of average turnaround time of transaction instances processed in a MWF-net is proposed. Finally a case study is used to show that the proposed method can be effectively utilized in practice.