Gorrieri R. Process Algebras for Petri Nets...Systems 2017