loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual IEEE/NASA Software Engineering Workshop
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets
Greenbelt, Maryland
April 06-April 07
ISBN: 0-7695-2306-4
Ugo Buy, Dept. of Computer Science, University of Illinois at Chicago
Mihai Lehene, Dept. of Computer Science, University of Illinois at Chicago
Houshang Darabi, Dept. of Mechanical and Industrial Engineering, University of Illinois at Chicago

We outline a supervisory control method for enforcing deadlines in real-time systems modeled as time Petri nets. Given a time Petri net NT, 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 NT 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 NT, 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.

Citation:
Ugo Buy, Mihai Lehene, Houshang Darabi, "Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets," sew, pp.211-218, 29th Annual IEEE/NASA Software Engineering Workshop, 2005
Usage of this product signifies your acceptance of the Terms of Use.