A new scheduling model based on extended Petri net - TREM net

When modeling a scheduling problem by Petri net most researchers used the so-called pure net. The net can not deal with the allocations of time resources and the critical resources such as processors. These resources should be the elements of the net, so in the strict sense, the net is not a timed Petri net. In this paper, we present an extended Petri net model, a scheduling model with time resources ( called TREM net). TREM net can model both processors and times so it can easily treat the allocations of both simultaneously. We discuss in details the method of solving T-invariants of TREM net and the close relation between T-invariants and scheduling. The idea of combining AI technique with Petri net based scheduling model is also presented in the paper