Jeudi 16 Mars

Retour à la vue des calendrier
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
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é.