Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets

Ugo Buy, Mihai Lehene, Houshang Darabi. Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. In 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA. pages 211-218, IEEE Computer Society, 2005. [doi]

Authors

Ugo Buy

This author has not been identified. Look up 'Ugo Buy' in Google

Mihai Lehene

This author has not been identified. Look up 'Mihai Lehene' in Google

Houshang Darabi

This author has not been identified. Look up 'Houshang Darabi' in Google