The following pages link to (Q3225713):
Displaying 7 items.
- Sufficient conditions for the marked graph realisability of labelled transition systems (Q1623288) (← links)
- On persistency in time Petri nets (Q1631221) (← links)
- On persistent reachability in Petri nets (Q1951594) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- An extension of the taxonomy of persistent and nonviolent steps (Q2293146) (← links)
- Separability in Conflict-Free Petri Nets (Q3401931) (← links)
- (Q5190772) (← links)