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
Contributor : Thomas Chatain Connect in order to contact the contributor
Submitted on : Tuesday, January 3, 2017 - 5:40:34 PM
Last modification on : Friday, July 8, 2022 - 10:09:35 AM
Long-term archiving on: : Tuesday, April 4, 2017 - 3:18:16 PM


Files produced by the author(s)



É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⟩



Record views


Files downloads