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

 Bruno Lopes
Tuesday, May 22 2018 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
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.

About LSV