Email Record: Process Algebras for Petri Nets :