The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Workflow management coalition member directory
Workflow handbook 1997
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Process descriptions as organisational accounting devices: the dual use of workflow technologies
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
UML and C++: A Practical Guide to Object-Oriented Development
UML and C++: A Practical Guide to Object-Oriented Development
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Automated Software Engineering
On Resource Arc for Petri Net Modelling of Complex Resource Sharing System
Journal of Intelligent and Robotic Systems
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Event Algebra for Specifying and Scheduling Workflows
Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA)
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
BPML: A Process Modeling Language for Dynamic Business Models
WECWIS '02 Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02)
Resource-Constrained Workflow Nets
Fundamenta Informaticae
Dynamic workflow modeling and verification
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Deadlock control methods in automated manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Dynamic Workflow Modeling and Analysis in Incident Command Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.03 |
A workflow management system determines the flow of work according to predefined business process definitions. It manages the resources required to meet goals and provides monitoring facilities and control capabilities. Resources can become important decision factors when combined with control flow information. This is particularly true in an emergency response system where large quantities of resources, including emergency responders, ambulances, fire trucks, medications, food, clothing, etc., are required. In this paper, we introduce a resource-constrained and decision support workflow model. This model enables users to specify resource consumption and production when executing a task, and decision policies to choose a path at a given situation where multiple execution branches are available. The paper also presents an efficient resource requirement analysis algorithm that can be used to decide the minimum resource set that, if satisfied, the workflow can be executed along any possible path till finish without the occurrence of resource shortage. A case study is presented to show the use of the proposed approach.