The following pages link to Entscheidbarkeit bei Petri Netzen (Q3521157):
Displaying 13 items.
- Existence of home states in Petri nets is decidable (Q264201) (← links)
- The residue of vector sets with applications to decidability problems in Petri nets (Q797285) (← links)
- Decidability of the Petri net reachability problem (Q1813788) (← links)
- (Q2766563) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- Deciding Selective Declassification of Petri Nets (Q2894328) (← links)
- Deciding Structural Liveness of Petri Nets (Q2971127) (← links)
- Finding a Witness Path for Non-liveness in Free-Choice Nets (Q3011888) (← links)
- (Q4730790) (← links)
- (Q4807466) (← links)
- Decidability and closure properties of weak Petri net languages in supervisory control (Q4841496) (← links)
- Reachability in Petri Nets with Inhibitor Arcs (Q4982097) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712348) (← links)