layout title default Home Related resources The Mathematical Specification of the Statebox Language ('Monograph') Event Structures - http://www.cl.cam.ac.uk/~gw104/EvStr.pdf Removing Confusion - https://arxiv.org/pdf/1710.04570.pdf Pawel Sobocinski - https://www.semanticscholar.org/paper/Representations-of-Petri-Net-Interactions-Sobocinski/5af3fa656639d55afdfde980a74878c1d0a84ba8 Maintaining edit markdown guide.