Valeria de Paiva, "Dialectica Categories and Petri Nets"

Abstract: Dialectica categories are a very versatile model of Linear Logic. One of their first applications was as an specification language for Petri nets in the PhD thesis of Carolyn Brown. We will discuss this model, available in the report A Linear Specification Language for Petri Nets, https://scholar.google.com/scholar?cluster=17394000729894222477&hl=en&as_sdt=2005. Time permitting we will relate this model to the new models of Baez et al in https://golem.ph.utexas.edu/category/2019/04/generalized_petri_nets.html, say.