Oxford Seminar / Compositionality of Flavoured Petri Nets
Description
In this talk, we will see a natural notion of nesting composition for “flavoured” Petri nets: Petri nets whose places and transitions come with extra data determined by a symmetric monoidal double category and which determine the intended semantics of the Petri net.