Learn Generative AI, Prompt Engineering, and LLMs for Free
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore the mathematical framework of composing various types of Petri nets through the lens of double operadic theory in this Oxford seminar presentation. Delve into the systematic approach to understanding different "flavors" of Petri nets as part of a broader doctrine within systems theory, examining how these computational models can be composed and analyzed using advanced categorical methods. Learn about the theoretical foundations that enable the systematic study of Petri net variations and their compositional properties through the double operadic framework for systems.
Syllabus
[Oxford Seminar] David Jaz Myers | Composing "flavoured" Petri nets
Taught by
Topos Institute