Pages that link to "Item:Q5713505"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2005 (Q5713505):
Displaying 6 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)
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466) (← links)
- On the Synthesis of Zero-Safe Nets (Q3507377) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)