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