Dialectica Petri Nets
From MaRDI portal
Publication:6505121
arXiv2105.12801MaRDI QIDQ6505121FDOQ6505121
Authors: Elena di Lavore, Wilmer Leal, Valeria de Paiva 
Abstract: The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalizing the original application 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.
Directed graphs (digraphs), tournaments (05C20) Graph operations (line graphs, products, etc.) (05C76) Logic in computer science (03B70) Categories of spans/cospans, relations, or partial maps (18B10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Symmetric monoidal categories (19D23) Categorical aspects of linear logic (18M45)
This page was built for publication: Dialectica Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6505121)
