Pages that link to "Item:Q2908202"
From MaRDI portal
The following pages link to Cost Soundness for Priced Resource-Constrained Workflow Nets (Q2908202):
Displaying 5 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Safety and Soundness for Priced Resource-Constrained Workflow Nets (Q5415300) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713505) (← links)