Skip to Main content Skip to Navigation
Journal articles

Preserving Partial Order Runs in Parametric Time Petri Nets

Abstract : Parameter synthesis for timed systems aims at deriving parameter valuations satisfying a given property. In this paper we target concurrent systems. We use partial-order semantics for parametric time Petri nets as a way to both 1) cope with the well-known state-space explosion due to concurrency, and 2) significantly enhance the result of an existing synthesis algorithm. Given a reference parameter valuation, our approach synthesizes other valuations preserving the partial-order executions of the reference parameter valuation. We show the applicability of our approach using a tool applied to asynchronous circuits.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01425696
Contributor : Thomas Chatain <>
Submitted on : Tuesday, January 3, 2017 - 5:40:34 PM
Last modification on : Saturday, May 1, 2021 - 3:46:23 AM
Long-term archiving on: : Tuesday, April 4, 2017 - 3:18:16 PM

File

IMPO-preprint.pdf
Files produced by the author(s)

Identifiers

Citation

Étienne André, Thomas Chatain, César Rodriguez. Preserving Partial Order Runs in Parametric Time Petri Nets. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 16, pp.25. ⟨10.1145/3012283⟩. ⟨hal-01425696⟩

Share

Metrics

Record views

421

Files downloads

480