Text this: Petri Net Algebra /