BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Valeria de Paiva (Topos Institute)
DTSTART:20220308T170000Z
DTEND:20220308T180000Z
DTSTAMP:20260423T021107Z
UID:Intercats/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Intercats/5/
 ">Dialectica Petri Nets</a>\nby Valeria de Paiva (Topos Institute) as part
  of Intercats: Seminar on Categorical Interaction\n\n\nAbstract\nThe categ
 orical modeling of Petri nets has been much investigated recently. We revi
 sit the use of the Dialectica construction as a categorical model for Petr
 i nets\, generalizing the original application (Brown and Gurr) to suggest
  that Petri nets with different kinds of transitions can be modeled in the
  same categorical framework. Transitions representing truth-values\, proba
 bilities\, rates or multiplicities\, evaluated in different algebraic stru
 ctures called lineales are useful and are modeled here in the same categor
 y. We investigate (categorical instances of) this generalized model and it
 s connections to more recent models of categorical nets.\n
LOCATION:https://researchseminars.org/talk/Intercats/5/
END:VEVENT
END:VCALENDAR