Preserving Partial Order Runs in Parametric Time Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Embedded Computing Systems (TECS) Year : 2016

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.
Fichier principal
Vignette du fichier
IMPO-preprint.pdf (453.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01425696 , version 1 (03-01-2017)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More