Modeling of interval P-time Petri nets using dioid algebra

In this paper 1-safe interval P-time Petri nets are described using linear description in an interval like idempotent semiring. This semiring, which is just the product of semirings Rmax and Rmin, enables linear letter driven description similar to the one known for timed Petri nets. Examples illustrating our approach show also an application of this description to dead token detection.