add support for core model petri nets
Passed
Johannes Mey
created pipeline for commit
90850998
, finished
For feature/package
1 minute 10 seconds, queued for 2 seconds