Deep learning, despite its remarkable achievements, is still a young field. Like the early
stages of many scientific disciplines, it is marked by the discovery of new phenomena, ad …

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 draw some squares and apply some homology in the hope of classifying different flavors
of functors in a neat way. Our wishes are granted and we obtain homological measures of …

We use categorical methods to define a new flavor of Petri nets where transitions can only
fire a limited number of times, specified by a quantity that we call mana. We do so with …

We provide a categorical semantics for bounded Petri nets, both in the collective-and
individual-token philosophy. In both cases, we describe the process of bounding a net …

Many categorical frameworks have been proposed to formalize the idea of gluing Petri nets
with each other. Such frameworks model net gluings in terms of sharing of resources or …

We use categorical methods to define a new flavor of Petri nets where transitions can only
fire a limited number of times, specified by a quantity that we call mana. We do so with …