Affiliations: Department of Parallel Systems, Faculty of Computer Science, Carl von Ossietzky Universität Oldenburg, D-26111 Oldenburg, Germany. {eike.best,alexander.lavrov}@informatik.uni-oldenburg.de
Note: [] Address for correspondence: Department of Parallel Systems, Faculty of Computer Science, Carl von Ossietzky Universität Oldenburg, D-26111 Oldenburg, Germany
Abstract: 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 parameterised scheme of type construction, allow for weak and strong versions of compositions. Properties such as associativity, commutativity, and coherence with respect to unfolding, are preserved.
Keywords: High-level Petri nets, Composition operators, Process algebras
