https://1library.org/document/z3nn3o8q-decision-support-petri-nets-enabled-automation-components.html