Dialectica Petri Nets

Abstract: The categorical modeling of Petri nets has been much investigated recently. We revisit the use of the Dialectica construction as a categorical model for Petri 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, probabilities, rates or multiplicities, evaluated in different algebraic structures called lineales are useful and are modeled here in the same category. We investigate (categorical instances of) this generalized model and its connections to more recent models of categorical nets.

category theory

Audience: researchers in the topic

( slides | video )

Intercats: Seminar on Categorical Interaction