Generalised Composition Operations for High-level Petri Nets
Eike Best, Alexander Lavrov · Fundamenta Informaticae · 1999
We propose generic schemes for basic composition operations (sequential composition, choice, iteration, and refinement) for high-level Petri nets. They tolerate liberal combinations of place types (equal, disjoint, intersecting) and, owing to a param