Towards a supervisory control policy for time critical systems | IEEE Conference Publication | IEEE Xplore

Towards a supervisory control policy for time critical systems


Abstract:

Petri nets are a powerful recognized formalism for the specification and verification of concurrent systems. To deal with systems whose time issues become fundamental, di...Show More

Abstract:

Petri nets are a powerful recognized formalism for the specification and verification of concurrent systems. To deal with systems whose time issues become fundamental, different time Petri nets extensions have been developed in the literature, each one being dependent on the application considered. For time critical systems their correctness depends not only on the logical one but also on the time constraints. In this paper, a supervisory control technique for P-time Petri nets is proposed. It relies on an actualization procedure based on a firing instant approach and the blocked markings identification.
Date of Conference: 08-10 July 2009
Date Added to IEEE Xplore: 09 October 2009
ISBN Information:
Print ISSN: 1085-1992
Conference Location: St. Petersburg, Russia

Contact IEEE to Subscribe

References

References is not available for this document.