Asynchonous Box Calculus

Abstract : The starting point of this paper is an algebraic Petri net framework allowing one to express net compositions, such as iteration and parallel composition, as well as transition synchronisation and restriction. We enrich the original model by introducing new constructs supporting asynchronous interprocess communication. Such a communication is made possible thanks to special _buffer_ places where different transitions (processes) may deposit and remove tokens. We also provide an abstraction mechanism, which hides buffer places, effectively making them private to the processes communicating through them. We then provide an algebra of process expressions, whose constants and operators directly correspond to those used in the Petri net framework. Such a correspondence is used to associate nets to process expressions in a compositional way. That the resulting algebra of expressions is consistent with the net algebra is demonstrated by showing that an expression and the corresponding net generate isomorphic transition systems. This results in the Asynchronous Box Calculus (or ABC), which is a coherent dual model, based on Petri nets and process expressions, suitable for modelling and analysing distributed systems whose components can interact using both synchronous and asynchronous communication.
Type de document :
Article dans une revue
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54(1), pp.1-50
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00114675
Contributeur : Franck Pommereau <>
Soumis le : vendredi 17 novembre 2006 - 13:27:28
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : samedi 14 mai 2011 - 00:36:29

Fichiers

2003-fi.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00114675, version 1

Collections

Citation

Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. Asynchonous Box Calculus. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54(1), pp.1-50. 〈hal-00114675〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

119