Text this: Petri net algebra /