Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
Explore a natural notion of nesting composition for "flavoured" Petri nets in this Oxford Seminar presentation by David Jaz Myers from the Topos Institute. Discover how Petri nets can be enhanced with places and transitions that carry extra data determined by a symmetric monoidal double category, which in turn determines the intended semantics of the Petri net. Learn about the mathematical foundations underlying these compositional structures and understand how this framework extends traditional Petri net theory through the lens of category theory. Examine the theoretical implications of this approach for modeling complex systems where both structural and semantic information must be preserved through composition operations.
