LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

On cycles and separability of persistent Petri nets

Tuesday, May 25 2010 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Philippe Darondeau (INRIA Rennes Bretagne Atlantique)

We show that PBRP nets (plain, bounded, reversible and persistent Petri nets) have bases of cycles made of transition disjoint cycles. We show that PBRP nets are strongly separable, meaning that a PBRP net whose initial marking is of the form k.M may be simulated by k replicas of this net, each with initial marking M. We show that if a net with initial marking k.M is PBRP then the similar net with initial marking (k-1).M is also PBRP. (joint work with Eike Best)

About LSV