The following pages link to Infinite behaviour of Petri nets (Q2265817):
Displaying 9 items.
- The residue of vector sets with applications to decidability problems in Petri nets (Q797285) (← links)
- \(X\)-automata on \(\omega\)-words (Q1210539) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- Fair Petri nets and structural induction for rings of processes (Q1346633) (← links)
- Somewhat finite approaches to infinite sentences. (Q1353892) (← links)
- On the topological complexity of \(\omega\)-languages of non-deterministic Petri nets (Q2446063) (← links)
- The Wadge Hierarchy of Petri Nets ω-Languages (Q3455844) (← links)
- On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words (Q5025066) (← links)
- On the High Complexity of Petri Nets $$\omega $$-Languages (Q5100750) (← links)
