Petri Net Algebra | lit.salon