HackerPapers

arXiv:2002.02762math.CT

A Categorical Semantics for Guarded Petri Nets

Fabrizio Genovese, David I. Spivak

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

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.

arXiv comments
24 pages (11 appendix), 13 figures
Journal reference
In: Gadducci F., Kehrer T. (eds) Graph Transformation. ICGT 2020. Lecture Notes in Computer Science, vol 12150. Springer, Cham
DOI
doi:10.1007/978-3-030-51372-6_4
Subjects
math.CTCategory Theory cs.DCDistributed, Parallel, and Cluster Computing

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Jan 2021 to Jan 2021.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Categories of Nets 1 comment

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.