Process Algebras for Petri Nets The Alphabetization of Distributed Systems - Gorrieri, Roberto (Springer International Publishing : Imprint: Springer, 2017)