Process Algebras for Petri Nets - Gorrieri, Roberto (Springer International Publishing, 2017)