Pages that link to "Item:Q1935777"
From MaRDI portal
The following pages link to On the coverability and reachability languages of monotonic extensions of Petri nets (Q1935777):
Displaying 9 items.
- A classification of the expressive power of well-structured transition systems (Q553290) (← links)
- On the \(\omega\)-language expressive power of extended Petri nets (Q2491637) (← links)
- Monotonic extensions of Petri nets: forward and backward search revisited (Q2842877) (← links)
- On the \(\omega\)-language expressive power of extended Petri nets (Q2848137) (← links)
- Extending the Rackoff technique to Affine nets (Q2957508) (← links)
- The Complexity of Coverability in ν-Petri Nets (Q4635904) (← links)
- (Q5009453) (← links)
- (Q5013882) (← links)
- Coverability, Termination, and Finiteness in Recursive Petri Nets (Q5025058) (← links)