Affiliations: Département d'informatique,
Université Libre de Bruxelles, B-1050 Bruxelles, Belgium.
rdevil@ulb.ac.be | LaMI - UMR 8042 CNRS, Université
d'Evry-Val d'Essonne, Place des Terrasses, 91000 Evry,
France. klaudel@lami.univ-evry.fr
Note: [] Address for correspondence: Département
d'informatique, Université Libre de Bruxelles, B-1050
Bruxelles, Belgium
Abstract: In the domain of parameterized composable high-level Petri nets
(M-nets), we shall combine the refinement, the synchronization and the
asynchronous link operations in a unified and general setup, while keeping the
expected properties of those operations. In particular, the various high-level
net operations are consistent through unfolding with their low-level
counterparts, and the usual commutativity and idempotency properties are
fulfilled at the syntactic level up to structural equivalences.
Keywords: High-level Petri nets, refinement, synchronization, asynchronous links, algebra
