The following pages link to (Q3997211):
Displaying 7 items.
- Petri nets for system engineering. A guide to modeling, verification, and applications (Q2740516) (← links)
- Grammars Controlled by Special Petri Nets (Q3618592) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- (Q5203704) (← links)
- The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY (Q5392153) (← links)
- Linear constraint systems as high-level nets (Q6162101) (← links)
- Orthogonal transformations for coloured Petri nets (Q6487385) (← links)