Process Algebras for Petri Nets. 1st ed. 2017 - Gorrieri, Roberto (Springer International Publishing, 2020)