The following pages link to (Q3045489):
Displaying 5 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Numbering action vertices in workflow graphs (Q3053691) (← links)
- Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
- Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)
- Fast termination and workflow nets (Q6535631) (← links)