Mihai Lehene

According to our database, Mihai Lehene authored at least 3 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.

Haisheng Wang, Liviu Grigore, Ugo A. Buy, Mihai Lehene, Houshang Darabi

IEEE Trans. Syst. Man Cybern. Part A, 2011

2005

Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.

Ugo A. Buy, Mihai Lehene, Houshang Darabi

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Supervisory Control of Time Petri Nets Using Net Unfolding.

Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005