Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Modeling workflow processes with colored Petri nets
Computers in Industry
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Workflow Instance Scheduling with Project Management Tools
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Applying scheduling techniques to minimize the number of late jobs in workflow systems
Proceedings of the 2004 ACM symposium on Applied computing
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Dynamic batch processing in workflows: Model and implementation
Future Generation Computer Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Optimization of Workflow Pre-Scheduling Based on Nested Genetic Algorithm
MMIT '10 Proceedings of the 2010 Second International Conference on MultiMedia and Information Technology - Volume 01
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A key event path analysis approach for integrated systems
Modelling and Simulation in Engineering
A decision framework for optimisation of business processes aligned with business goals
International Journal of Business Information Systems
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
Fundamenta Informaticae
Planning of business process execution in Business Process Management environments
Information Sciences: an International Journal
| Hi-index | 0.00 |
Effective methods of workflow scheduling can improve the performance of workflow systems. Based on the study of existing scheduling methods, a method of workflow scheduling, called phased method, is proposed. This method is based on colored Petri nets. Activities of workflows are divided into several groups to be scheduled in different phases using this method. Details of the method are discussed. Experimental results show that the proposed method can deal with the uncertainties and the dynamic circumstances very well and a satisfactory balance can be achieved between static global optimization and dynamic local optimization.