Tolerance analysis approach with interval constrainted petri nets

The existence of maximal durations drastically modifies the performance evaluation in Discrete Event Systems (DES). The same particularity may be found on systems where the associated constraints do not concern the time. The main contribution of this paper is to describe the behaviour of the Interval Constrained Petri Net (ICPN). This specification tool is designed in order to provide strong structural analysis. This tool is compared to the Abstract Marking High Level Petri Net (AM-HLPN). The same mathematical abstraction is use in order to provide some constraints specifications. Nevertheless, the powerfulness of the AM-HLPN makes them difficult to analyse. That's why we present these both tools as complementary ones. An industrial application on a tobacco manufacturing plant is presented as an illustration.