Process Algebras for Petri Nets : The Alphabetization of Distributed Systems - Gorrieri, Roberto. (Monographs in Theoretical Computer Science. An EATCS Series, 2017)