A Categorical Semantics for Hierarchical Petri Nets

DOI10.4204/EPTCS.350.4arXiv2102.00096MaRDI QIDQ6359409FDOQ6359409

Authors: Jelle Herold, Fosco Loregiàn, Daniele Palombi 

Publication date: 29 January 2021

Abstract: We show how a particular variety 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 hierarchical nets can be implemented in a transaction-based smart contract environment.

This page was built for publication: A Categorical Semantics for Hierarchical Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6359409)