Pages that link to "Item:Q1671247"
From MaRDI portal
The following pages link to Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247):
Displaying 4 items.
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- Business Process Compliance Using Reference Models of Law (Q5039540) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- Transforming dynamic condition response graphs to safe Petri nets (Q6535206) (← links)