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.
Petri nets are a widely used formalism to model parallel and concurrent systems with an intuitive graphical interpretation. Dynamic Logics are systems that can deal with the notion of systems execution. We discuss how to model systems with Petri nets and the usage of Petri-PDL*, a Dynamic Logic tailored to reason about Petri nets with some implemented tools.