Pages that link to "Item:Q2822649"
From MaRDI portal
The following pages link to Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649):
Displaying 10 items.
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422) (← links)
- (Q5009439) (← links)
- Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions (Q5025032) (← links)
- Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ (Q5060183) (← links)
- (Q5094137) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)
- WQO dichotomy for 3-graphs (Q5919047) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)
- Verification of data-aware process models: checking soundness of Data Petri nets (Q6197587) (← links)
