The following pages link to Nets with Tokens Which Carry Data (Q3612940):
Displayed 7 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- A classification of the expressive power of well-structured transition systems (Q553290) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (Q3618568) (← links)
- (Q5013882) (← links)
- The ω-Regular Post Embedding Problem (Q5458353) (← links)
- WQO dichotomy for 3-graphs (Q5919047) (← links)