Bookmarks

Keep Up With Top Trending Papers In CS / AI / ML ...

Category Theory

Guard semantics for Petri nets with symmetric strict monoidal categories

A Categorical Semantics for Guarded Petri Nets

We present a categorical semantics for petri nets with guards.

This comes in two flavors: deterministic and with side-effects.

Authors

Fabrizio Genovese, David I. Spivak

Related Topics

Grothendieck construction

Categorical semantics

Read the Paper

Bookmarks

◐ Recommended Members

More

◐ Latest Activity

More

Guard semantics for Petri nets with symmetric strict monoidal categories - 42Papers

Read Related Papers

Collective-and Individual-token semantics for bounded Petri nets

A Unified Framework for Petri Nets

A definition of a Petri net based on a Lawvere theory

A Generalised Model of Hierarchical Nets

Analyses of Petri nets with negative tokens

Petri nets based on finite-set configurations and etale maps

Application of category theory to open systems

A Monoidal Lift of the Groteck Construction for Network Construction

Stateful connectors in Petri nets with compositional interfaces

Composition of Operational Systems