Towards the control of time-critical systems

Petri nets are a powerful formalism for the specification and analysis of concurrent systems, such as sequential systems, manufacturing systems ... Adapted to time-critical systems (systems whose time issues become essential), different time Petri nets have been developed in the literature: Merlin's model, p-time Petri-net, Time ER nets ... The presented approach allows to determine transitions firing instants in order to ensure functional timing correctness of the modeled system It uses p-time Petri-net as modeling tool. It is based on an enumerative procedure and on the evaluation of transitions firing conditions successively at the first, the second and the q(th) firing instant. Moreover, it provides a performance evaluation and control component.