On the Semantics of Petri Nets.

Jos Meseguer, Ugo Montanari, Vladimiro Sassone

Browse the full CONCUR paper archive.