Asynchronous links in the PBC and M-netsReport as inadecuate

Asynchronous links in the PBC and M-nets - Download this document for free, or read online. Document in PDF available to download.

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

Author: Hanna Klaudel Franck Pommereau -



Related documents