Joeri Exelmans 6571d8556c petri net formalism: add inhibitor arc vor 1 Jahr
..
operational 9883e09ac2 merging (meta-)models works (but it's dirty!) vor 1 Jahr
translational 6571d8556c petri net formalism: add inhibitor arc vor 1 Jahr