Preserving Partial Order Runs in Parametric Time Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2016

Preserving Partial Order Runs in Parametric Time Petri Nets

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

É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 Consultations
209 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More