Title: Petri nets as quantales