Pages that link to "Item:Q5713505"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2005 (Q5713505):
Displaying 11 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Structural soundness of workflow nets is decidable (Q1044705) (← links)
- Soundness of timed-arc workflow nets in discrete and continuous-time semantics (Q2803579) (← links)
- Cost Soundness for Priced Resource-Constrained Workflow Nets (Q2908202) (← links)
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466) (← links)
- On the Synthesis of Zero-Safe Nets (Q3507377) (← links)
- Safety and Soundness for Priced Resource-Constrained Workflow Nets (Q5415300) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712330) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)