Pages that link to "Item:Q5096360"
From MaRDI portal
The following pages link to A class of composable high level Petri nets (Q5096360):
Displayed 7 items.
- M-nets: a survey (Q1006339) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- Communication as unification in the Petri Box Calculus (Q5055902) (← links)
- High level expressions with their SOS semantics (Q6044124) (← links)
- Petri boxes and finite precedence (Q6162099) (← links)
- Linear constraint systems as high-level nets (Q6162101) (← links)