Jeudi 16 Mars

Heure:	15:30 - 16:30
Lieu:	Salle B107, bâtiment B, Université de Villetaneuse
Résumé:	Preserving Partial Order Runs in Parametric Time Petri Nets
Description:	Cesar Rodriguez Parameter synthesis for timed systems aims at deriving parameter valuations satisfying a given property. In this paper we target concurrent systems; it is well known that concurrency is a source of state-space explosion, and partial order techniques were defined to cope with this problem. Here we use partial order semantics for parametric time Petri nets as a way to significantly enhance the result of an existing synthesis algorithm. Given a reference parameter valuation, our approach synthesizes other valuations preserving, up to interleaving, the behavior of the reference parameter valuation. We show the applicability of our approach using acyclic asynchronous circuits. Join work with Thomas Chatain and Étienne André.