Petri nets as quantales | lit.salon