Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Weak Time Petri Nets Strike Back!

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Arnaud Sangnier
Date
Le mardi 19 mai 2009 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Arnaud Sangnier (Dipartimento di Informatica, Università degli studi di Torino, Italy)

We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are urgent, and the weak one, for which time can elapse arbitrarily. It is well known that many verification problems such as the marking reachability are undecidable with the strong semantics. In this talk, we focus on Time Petri Nets with weak semantics equipped with three different memory policies for the firing of transitions. We prove that the reachability problem is decidable for the most common memory policy (intermediate) and becomes undecidable otherwise. Moreover, we study the relative expressiveness of these memory policies and obtain partial and surprising results.

This a joint work with Pierre-Alain Reynier (LIF-Université Aix-Marseille)


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents