TL;DR
This paper explores the mathematical foundations of linking algebras in Petri nets, focusing on their composition via spans over categories of relations, and analyzes the algebraic structures involved.
Contribution
It characterizes the composition of nets without places as spans over relation categories and investigates the algebraic structures of linking algebras.
Findings
Composition of nets without places as spans over relation categories
Algebraic structures underlying linking algebras
Mathematical characterization of linking algebra composition
Abstract
In recent work, the author and others have studied compositional algebras of Petri nets. Here we consider mathematical aspects of the pure linking algebras that underly them. We characterise composition of nets without places as the composition of spans over appropriate categories of relations, and study the underlying algebraic structures.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.