Pages that link to "Item:Q1951594"
From MaRDI portal
The following pages link to On persistent reachability in Petri nets (Q1951594):
Displaying 12 items.
- On structural conditions for weak persistency and semilinearity of Petri nets (Q1186602) (← links)
- On persistency in time Petri nets (Q1631221) (← links)
- A lazy query scheme for reachability analysis in Petri nets (Q2117184) (← links)
- Continuous reachability for unordered data Petri nets is in PTime (Q2289079) (← links)
- An extension of the taxonomy of persistent and nonviolent steps (Q2293146) (← links)
- Persistent and nonviolent steps and the design of GALS systems (Q2805425) (← links)
- Monotonic extensions of Petri nets: forward and backward search revisited (Q2842877) (← links)
- Petri nets with persistence (Q2849579) (← links)
- (Q4835904) (← links)
- (Q5190772) (← links)
- Step Persistence in the Design of GALS Systems (Q5300872) (← links)
- On the reachability and reversibility problems in a class of Petri nets (Q5365722) (← links)