Seminarios / Coloquios

  • Grupos de Artin Virtuales

    Coloquio Oaxaqueño. Daniel Juan Pineda, CCM-UNAM. Jueves 22 de mayo de 2025, 16:00 hrs,

  • 4a Escuela de Teoría Geométrica de Grupos

    El r egistro para la 4a Escuela de Teoría Geométrica de Grupos está abierto hasta el 6 de junio . El evento tendrá lugar en el Centro de Ciencias Matemáticas de la UNAM en Morelia, Michoacán del 4...

Calendario de eventos

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 : 409
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:

YouTube:

https://www.youtube.com/watch?v=evz0QgPjbGQ&feature=youtu.be

 

 

Avisos / Convocatorias / Noticias