A graphical editor for the input-output place-transition petri net class | IEEE Conference Publication | IEEE Xplore