Asynchronous links in the PBC and M-netsReportar como inadecuado

Asynchronous links in the PBC and M-nets - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LACL - Laboratoire d-Algorithmique Complexité et Logique

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.

keyword : Petri Net Petri Box Calculus M-Net Semantics Timed Specification

Autor: Hanna Klaudel Franck Pommereau -



Documentos relacionados