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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00114697
Contributor : Franck Pommereau <>
Submitted on : Friday, November 17, 2006 - 2:03:00 PM
Last modification on : Thursday, December 13, 2018 - 9:46:03 AM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 10:58:29 PM

File

1999-asian.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00114697, version 1

Collections

Citation

Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. 1999, pp.190-200. ⟨hal-00114697⟩

Share

Metrics

Record views

163

Files downloads

126