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

A concurrent and compositional Petri net semantics of preemption

Abstract : The aim of this paper is the introduction of preemption in a compositional model, called M-nets, which is based on Petri nets and hence provided with a concurrent semantics. We propose a way to model preemptible systems by extending the M-net model with priorities and the M-net algebra with a preemption operator. We show that these extensions can be seen as a high-level version of the well studied model of priority systems, and so, can be reduced to Petri nets (without priorities) which retain as much as possible of the original concurrency. As a consequence, Petri nets appear as a model powerful enough to deal with preemption in a compositional way and with a concurrent semantics.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

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

File

2000-ifm.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Hanna Klaudel, Franck Pommereau. A concurrent and compositional Petri net semantics of preemption. Integrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩. ⟨hal-00114693⟩

Share

Metrics

Record views

65

Files downloads

254