Text this: Process Algebras for Petri Nets