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.)