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.
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)