Asynchronous links in the PBC and M-nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Asynchronous links in the PBC and M-nets

Hanna Klaudel

Résumé

This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We introduce a new operator with nice algebraic properties which allows to express asynchronous communications in a simple and flexible way. With this extension, asynchronous communications become at least as simple to express as (existing) synchronous ones. Finally, we show how this extension can be used in order to specify systems with timing constraints.
Fichier principal
Vignette du fichier
1999-asian.pdf (181.95 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-00114697 , version 1 (17-11-2006)

Identifiants

Citer

Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. ASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩. ⟨hal-00114697⟩
113 Consultations
157 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More