On Complexity of Verifying Nested Workflows with Extra Constraints

Abstract

The paper shows a theoretical complexity of the problem of verifying nested workflows with additional precedence, synchronization, and logical constraints.

Keywords

• Complexity
• Verification
• Nested Workflows