Mihai Lehene

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Haisheng Wang, Liviu Grigore, Ugo A. Buy, Mihai Lehene, Houshang Darabi
Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. IEEE Trans. Syst. Man Cybern. Part A 41 (3) (2011)
Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally
Supervisory Control of Time Petri Nets Using Net Unfolding. COMPSAC (2) (2005)
Ugo A. Buy, Mihai Lehene, Houshang Darabi
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. SEW (2005)