Pages that link to "Item:Q4902320"
From MaRDI portal
The following pages link to On Compositionality of Boundedness and Liveness for Nested Petri Nets (Q4902320):
Displaying 4 items.
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Liveness and boundedness analysis of Petri net synthesis (Q5740394) (← links)