Petri Net Algebra by