Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Pawel Sobocinski

LFCS Seminar: Pawel Sobocinski

— filed under:

Algebras of Petri Nets

  • LFCS Seminar
When May 31, 2013
from 03:10 PM to 04:10 PM
Where IF 4.31-33
Add event to calendar vCal

I will talk about two algebras of Petri Nets: one of C/E nets (where there is at most one token on each place) and one for general P/T nets. The algebras are examples of PROPs and each consists of a "wiring algebra" for transitions together with a simple "place algebra" for places. The wiring algebras themselves are generated by two different commutative monoid-cocommutative comonoid structures that interact in diverse ways according to the model of nets considered.

The algebras give a compositional account of the semantics of nets and thus suggest divide-and-conquer approaches to model checking Petri nets, as well asynchronous concurrent systems in general. I will illustrate this with some recent work that harnesses the algebraic approach for checking reachability in C/E nets.

Document Actions