The definition of an interruptible Petri nets

Petri nets as an important tool are more and more used in the specification, formal analysis, validation, simulation and software test of embedded system. While as an important component of embedded system, Petri nets can´t model the behaviors of interrupt system directly. This paper firstly extends high level Petri nets with time and actions, and then gives the definition of interruptible subnets. By introducing two special transition types, interrupt switch transition and resuming transition to an interruptible subnet, Petri nets has the ability to model the interrupt mechanism of embedded systems. This model greatly decreases the complexity of interrupt system model based on Petri nets and has highly descriptive ability.