CTAN upload: Petri-nets package