petri net Xtext