par Devillers, Raymond ;Klaudel, Hanna
Référence Fundamenta informaticae, 66, 3, page (221-257)
Publication Publié, 2005
Article révisé par les pairs
Résumé : 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.