Webpage of the Compositional Systems and Methods group at TalTech.

21 May 2020, 14:00, online


Joachim Kock, (Universitat Autònoma de Barcelona).


Whole-grain Petri nets and processes


I will present a new formalism for Petri nets based on polynomial-style finite-set configurations and etale maps. The main feature is that Petri nets have elements. This leads to a well-behaved notion of processes. The main result I want to arrive at is that (for P a Petri net) P-processes form a symmetric monoidal Segal space, which is the free prop-in-groupoids on P. (Along the way I will explain all technical words of this abstract.)

Reference: https://arxiv.org/abs/2005.05108