Asynchronous links in the PBC and M-nets

Abstract : 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.
Type de document :
Communication dans un congrès
P. S. Thiagarajan and R. Yap. 1999, Springer, pp.190-200, 1999, Lecture Notes in Computer Science 1742
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00114697
Contributeur : Franck Pommereau <>
Soumis le : vendredi 17 novembre 2006 - 14:03:00
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:58:29

Fichier

1999-asian.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00114697, version 1

Collections

Citation

Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. P. S. Thiagarajan and R. Yap. 1999, Springer, pp.190-200, 1999, Lecture Notes in Computer Science 1742. 〈hal-00114697〉

Partager

Métriques

Consultations de la notice

155

Téléchargements de fichiers

117