Abstract
We outline a supervisory control method for enforcing deadlines in real-time systems modeled as time Petri nets. Given a time Petri net NscrT, a net transition td, and a deadline d, we generate supervisory controllers that force td to fire at most d time units since the previous firing of td. Our method uses the unfolding of the ordinary (untimed) Petri net underlying Nscr T in order to define control supervisors enforcing the deadline. The unfolding of a Petri net is an acyclic Petri net whose markings correspond to the markings of the original Petri net. An advantage of net unfoldings is that they show the causal relation among transition firings in the original Petri net. Using a net unfolding, we define a so-called latency for each transition in NscrT, which we assume to be live. The latency of a transition is an upper bound on the delay between the firing of that transition and the firing of td. Our supervisory controllers dynamically disable the firing of transitions whose latency is greater than the time left until the expiration of the deadline on td. Here we discuss the most crucial aspect of this method, namely the definition of transition latencies from net unfoldings
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.