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

 

 

Instituto de Matemáticas Unidad Oaxaca

Dirección:

Antonio de León #2, altos, Col. Centro,

Oaxaca de Juárez, CP. 68000

Tel. 5160541

 

Contacto

imo@im.unam.mx

Tel: 9515160541

Go to top

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