LFCS Seminar: Pawel Sobocinski
Algebras of Petri Nets
What 


When 
May 31, 2013 from 03:10 PM to 04:10 PM 
Where  IF 4.3133 
Add event to calendar 
vCal iCal 
ABSTRACT:
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 monoidcocommutative 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 divideandconquer 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.