Control and performances evaluation of time dependent systems using an enumerative approach

Petri nets are a powerful formalism for the specification and verification of concurrent systems, such as sequential systems and manufacturing systems. To deal with systems whose time issues become essential, different extensions of Petri nets with time have been proposed in the literature, each one being dependent on the application considered. In this paper, a new enumerative analysis technique for P-time Petri nets is proposed. It consists of simple operations on time intervals and does not require complex computations contrary to the other methods, dealing with time critical systems, which can be found in the literature. Moreover a control approach is also derived