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
Reasoning about concurrency with Petri nets and Dynamic Logic
- Date
- Tuesday, May 22 2018 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Bruno Lopes (Universidade Federal Fluminense Brazil)
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.