petrinet.ecore