HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00114697
Contributor : Franck Pommereau Connect in order to contact the contributor
Submitted on : Friday, November 17, 2006 - 2:03:00 PM
Last modification on : Tuesday, February 15, 2022 - 11:24:02 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 10:58:29 PM

File

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

Identifiers

Collections

Citation

Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. ASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩. ⟨hal-00114697⟩

Share

Metrics

Record views

101

Files downloads

133