Mes anteior Día anterior Día siguiente Mes siguiente
Anual Mensual Semanal Hoy Buscar Ir al mes específico
Whole-grain Petri nets and processes
Miércoles 02 Diciembre 2020, 01:00pm
Accesos : 110
Contacto Carlos Segovia

Seminario de Categorías

Expositor: Joachim Kock (Universidad de Barcelona)


I will present a new formalism for Petri nets based on polynomial-style finite-set configurations and etale maps.  The processes of a Petri net P are etale maps G -> P from graphs.  The main feature of the formalism is that Petri nets have elements --- they are the elements you see in the pictures.  This makes the definition more representable (in the categorical sense of the word) than previous definitions.  The main result I want to arrive at is that P-processes form a symmetric monoidal Segal space, which is the free prop-in-groupoids on P, but most of the time will be spent just explaining Petri nets, their markings and firings, the token game, processes, and the basic idea of concurrency and causality -- and how these notions look in the new formalism.

Reference: "Elements of Petri nets and processes" [ArXiv:2005.05108]

Inscripción en Página:

Canal de Youtube:




Go to top

Hay 188 invitados y ningún miembro en línea