The definition of an interruptible Petri nets | IEEE Conference Publication | IEEE Xplore