Mes anteior Día anterior Día siguiente Mes siguiente
Anual Mensual Semanal Hoy Buscar Ir al mes específico
Open Petri nets and their Categories of Processes
Miércoles 21 Octubre 2020, 01:00pm
Accesos : 47
Contacto Carlos Segovia

Seminario de Categorías

Expositor: Jade Master (Universidad de California Riverside).

Resumen: In this talk we will discuss Petri nets from a categorical perspective. A Petri net freely generates a symmetric monoidal category whose morphisms represent its executions. We will discuss how to make Petri nets "open" i.e. equip them with input and output boundaries where resources can flow in and out. Open Petri nets freely generate open symmetric monoidal categories: symmetric monoidal categories which can be glued together along a shared boundary. The mapping from open Petri nets to their open symmetric monoidal categories is functorial and this gives a compositional framework for reasoning about the executions of Petri nets.

Inscripción en Página:




Go to top