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 etc. 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 etc. The presented approach allows us to determine transitions firing instants in order to ensure functional timing correctness of the modeled system. It uses a p-time Petri-net as the 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