https://9pdf.org/document/q2n9k7l6-view-linear-specification-language-petri-nets.html