Pages that link to "Item:Q5740394"
From MaRDI portal
The following pages link to Liveness and boundedness analysis of Petri net synthesis (Q5740394):
Displaying 5 items.
- Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system (Q866081) (← links)
- Synthesis of live and bounded persistent systems (Q2803576) (← links)
- Deciding Structural Liveness of Petri Nets (Q2971127) (← 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)