Pages that link to "Item:Q5096360"
From MaRDI portal
The following pages link to A class of composable high level Petri nets (Q5096360):
Displaying 14 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)
- (Q2769427) (← links)
- (Q4270058) (← links)
- Communication as unification in the Petri Box Calculus (Q5055902) (← links)
- (Q5486055) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713518) (← 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)
- Orthogonal transformations for coloured Petri nets (Q6487385) (← links)
- A Compositional Petri Net Semantics for SDL (Q6487390) (← links)
- M-net Calculus Based Semantics for Triggers (Q6487398) (← links)