The following pages link to (Q4281515):
Displaying 15 items.
- Trapping mutual exclusion in the box calculus (Q672869) (← links)
- M-nets: a survey (Q1006339) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- S-invariant analysis of general recursive Petri boxes (Q1894677) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Solving recursive net equations (Q4645215) (← links)
- Communication as unification in the Petri Box Calculus (Q5055902) (← links)
- Refinement of coloured petri nets (Q5055925) (← links)
- A refined view of the box algebra (Q5096357) (← links)
- Compositional process semantics of Petri Boxes (Q5890051) (← links)
- Petri boxes and finite precedence (Q6162099) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)