On Complexity of Verifying Nested Workflows with Extra Constraints

Abstrakt

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

Klíčová slova

• Complexity
• Verification
• Nested Workflows