Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory

Jos Meseguer, Ugo Montanari

Browse the full LICS paper archive.