feat: add oc petri nets & markings#18

erikwrede wants to merge 9 commits intoaarkue:mainaarkue/rust4pm:mainfrom

erikwrede:feat/oc-petri-netserikwrede/rust4pm:feat/oc-petri-netsCopy head branch name to clipboard