The following pages link to (Q4952938):
Displaying 10 items.
- Modeling and monitoring of E-commerce workflows (Q1007903) (← links)
- Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets (Q1665580) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Scenario-Based Timing Consistency Checking for Time Petri Nets (Q3613085) (← links)
- A Formal Model for Organisational Structures behind Process-Aware Information Systems (Q3623820) (← links)
- (Q4535454) (← links)
- PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Q5100757) (← links)
- Petri net-based modelling of workflow systems: An overview (Q5952515) (← links)
- The complexity of soundness in workflow nets (Q6649450) (← links)