We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: A Categorical Semantics for Hierarchical Petri Nets

Abstract: We show how a particular flavor of hierarchical nets, where the firing of a transition in the parent net must correspond to an execution in some child net, can be modelled utilizing a functorial semantics from a free category - representing the parent net - to the category of sets and spans between them. This semantics can be internalized via Grothendieck construction, resulting in the category of executions of a Petri net representing the semantics of the overall hierarchical net. We conclude the paper by giving an engineering-oriented overview of how our model of hiearchic nets can be implemented in a transaction-based smart contract environment.
Comments: 14 Pages, 7 Figures
Subjects: Category Theory (math.CT); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)
Cite as: arXiv:2102.00096 [math.CT]
  (or arXiv:2102.00096v1 [math.CT] for this version)

Submission history

From: Fabrizio Romano Genovese [view email]
[v1] Fri, 29 Jan 2021 22:37:34 GMT (176kb,D)

Link back to: arXiv, form interface, contact.