sur 16
Process Algebras for Petri Nets — Roberto Gorrieri