Compositionality of Flavoured Petri Nets

Abstract

In this talk, we will see a natural notion of nesting composition for “flavored” 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.