A Categorical Semantics for Guarded Petri Nets

January 29, 2020 · The Ethereal · 🏛 International Conference on Graph Transformation

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Fabrizio Genovese, David I. Spivak arXiv ID 2002.02762 Category math.CT: Category Theory Cross-listed cs.DC Citations 5 Venue International Conference on Graph Transformation Last Checked 1 month ago
Abstract
We build on the correspondence between Petri nets and free symmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petri nets with guards. This comes in two flavors: Deterministic and with side-effects. Using the Grothendieck construction, we show how the guard semantics can be internalized in the net itself.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Category Theory

🔮 🔮 The Ethereal

Algebraic Databases

Patrick Schultz, David I. Spivak, ... (+2 more)

math.CT 🏛 Theory and Applications of Categories 📚 35 cites 10 years ago