Pages that link to "Item:Q1813788"
From MaRDI portal
The following pages link to Decidability of the Petri net reachability problem (Q1813788):
Displaying 20 items.
- Existence of home states in Petri nets is decidable (Q264201) (← links)
- Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm (Q958302) (← links)
- Normal Petri nets (Q1057065) (← links)
- Petri nets and large finite sets (Q1060848) (← links)
- Reduction and covering of infinite reachability trees (Q1173681) (← links)
- A structure to decide reachability in Petri nets (Q1193891) (← links)
- The emptiness problem for valence automata or: another decidable extension of Petri nets (Q1675163) (← links)
- Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable (Q2317836) (← links)
- (Q2766563) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- Petri nets with non-blocking arcs are difficult to analyze (Q2847413) (← links)
- Deciding Selective Declassification of Petri Nets (Q2894328) (← links)
- Petri net reachability graphs: decidability status of FO properties (Q2911619) (← links)
- Entscheidbarkeit bei Petri Netzen (Q3521157) (← links)
- An Algorithm for the General Petri Net Reachability Problem (Q3677184) (← links)
- (Q4219024) (← links)
- Reachability in Petri Nets with Inhibitor Arcs (Q4982097) (← links)
- (Q5028474) (← links)
- Decidability of weak fairness in petri nets (Q5096177) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712348) (← links)