Pages that link to "Item:Q2971127"
From MaRDI portal
The following pages link to Deciding Structural Liveness of Petri Nets (Q2971127):
Displaying 6 items.
- Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable (Q2317836) (← links)
- (Q3339297) (← links)
- (Q3411314) (← links)
- On Compositionality of Boundedness and Liveness for Nested Petri Nets (Q4902320) (← links)
- Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903) (← links)
- Liveness and boundedness analysis of Petri net synthesis (Q5740394) (← links)