https://9pdf.org/document/q2n9k72e-view-second-workshop-practical-coloured-petri-nets-design.html