Graphical Linear Algebra Pawel Sobocinski University of Southampton graphicallinearalgebra.net (joint work with F. Bonchi and F. Zanasi, ENS Lyon) QPL ’15 Tutorial 5 stages of addiction denial • Petri nets, compositionally, with string diagrams: Representations of Petri net interactions, CONCUR `10 (2010) • Denial (2011) • these proofs are really cute, but I have more important things to do with m