Pages that link to "Item:Q1894677"
From MaRDI portal
The following pages link to S-invariant analysis of general recursive Petri boxes (Q1894677):
Displayed 9 items.
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Solving recursive net equations (Q4645215) (← links)
- Refinement of coloured petri nets (Q5055925) (← links)
- A refined view of the box algebra (Q5096357) (← links)
- Petri boxes and finite precedence (Q6162099) (← links)