The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources
We study whether the executions of a time-annotated sound workflow graph (WFG) meet a given deadline when an unbounded number of resources (i.e., executing agents) is available. We present polynomial-time algorithms and NP-hardness results for different cases. In particular, we show that it can be decided in polynomial time whether some executions of a sound workflow graph meet the deadline. For acyclic sound workflow graphs, it can be decided in linear time whether some or all executions meet the deadline. Furthermore, we show that it is NP-hard to compute the expected duration of a sound workflow graph for unbounded resources, which is contrasting the earlier result that the expected duration of a workflow graph executed by a single resource can be computed in cubic time. We also propose an algorithm for computing the maximum concurrency of the workflow graph, which helps to determine the optimal number of resources needed to execute the workflow graph.
KeywordsMaximum Degree Regular Graph Minimum Duration Outgoing Edge Incoming Edge
- 3.Botezatu, M., Völzer, H., Thiele, L.: The complexity of deadline analysis for workflow graphs with a single resource. In: Proceedings of the 20th IEEE ICECCS Conference, December 2015Google Scholar
- 4.Botezatu, M., Völzer, H., Thiele, L.: The complexity of deadline analysis for workflow graphs with multiple resources. Technical report RZ3896, IBM (2016)Google Scholar
- 9.Hansson, H., Jonsson, B.: A framework for reasoning about time and reliability. In: Proceedings of the Real Time Systems Symposium, 1989, pp. 102–111, December 1989Google Scholar
- 13.Popova-Zeugmann, L., Heiner, M.: Worst-case analysis of concurrent systems with duration interval petri nets. In: BTU COTTBUS, pp. 162–179 (1996)Google Scholar