Pages that link to "Item:Q554219"
From MaRDI portal
The following pages link to Decidability and complexity of Petri nets with unordered data (Q554219):
Displayed 11 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Ordinal recursive complexity of unordered data nets (Q529043) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Coverability Trees for Petri Nets with Unordered Data (Q2811357) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- (Q5009439) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Dynamic Networks of Timed Petri Nets (Q5166770) (← links)
- WQO dichotomy for 3-graphs (Q5919047) (← links)
- The ideal view on Rackoff's coverability technique (Q5925512) (← links)