An object oriented graphical tool for creating and editing Petri nets | IEEE Conference Publication | IEEE Xplore