EGL petrinet example
EGL example Petrinet