https://123dok.net/document/y962x32j-combining-petri-nets-uml-model-based-software-engineering.html