We present a unified framework for Petri nets and various variants, such as pre-nets and
Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we …

Bunched logics have found themselves to be key tools in modern computer science, in
particular through the industrial-level program verification formalism Separation Logic …

This dissertation builds a compositional cyber-physical systems theory to develop concrete
semantics relating the above diverse views necessary for safety and security assurance. In …

We give a definition of Q-net, a generalization of Petri nets based on a Lawvere theory Q, for
which many existing variants of Petri nets are a special case. This definition is functorial with …

Our work focuses on modeling the security of systems from their component-level designs.
Towards this goal, we develop a categorical formalism to model attacker actions. Equipping …

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 …

We review some of the endeavors in trying to connect Petri nets with free symmetric
monoidal categories. We give a list of requirement such connections should respect if they …

This document defines the mathematical backbone of the Statebox programming language.
In the simplest way possible, Statebox can be seen as a clever way to tie together different …

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 …

• PreNet is the category of pre-nets: Petri nets equipped with an ordering on the input and
output of each transition. These are are useful for generating processes in a way which …