Pages that link to "Item:Q5365722"
From MaRDI portal
The following pages link to On the reachability and reversibility problems in a class of Petri nets (Q5365722):
Displaying 11 items.
- On persistent reachability in Petri nets (Q1951594) (← links)
- Encoding reversing Petri nets in answer set programming (Q2039911) (← links)
- The fundamental closed-form solution of control-related states of<i>k</i>th order S3PR system with left-side non-sharing resource places of Petri nets (Q2792707) (← links)
- Monotonic extensions of Petri nets: forward and backward search revisited (Q2842877) (← links)
- On the Reversibility of Live Equal-Conflict Petri Nets (Q2941153) (← links)
- (Q3359783) (← links)
- (Q4527145) (← links)
- (Q4606103) (← links)
- (Q4835904) (← links)
- Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets (Q5043516) (← links)
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application (Q5166771) (← links)