• Citer

Synchronous and asynchronous communications in composable parameterized high-level petri nets

par Devillers, Raymond ;Klaudel, Hanna
Référence Fundamenta informaticae, 66, 3, page (221-257)
Publication Publié, 2005

Article révisé par les pairs

• Détails
• Contenu

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.