https://9pdf.org/document/zwvw09xg-view-digital-systems-synthesis-petri-net-descriptions.html