Your search returned 2 results.

Results
	1.	Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors. [electronic resource] by Cong, Xuya Wang, Anrong Chen, Yufeng Wu, Naiqi Qu, Ting Khalgui, Mohamed Li, Zhiwu Producer: 20191002 In: ISA transactions vol. 92 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	2.	BROMETH: Methodology to design safe reconfigurable medical robotic systems. [electronic resource] by Ben Salem, Mohamed Oussama Mosbahi, Olfa Khalgui, Mohamed Jlalia, Zied Frey, Georg Smida, Mahmoud Producer: 20180611 In: The international journal of medical robotics + computer assisted surgery : MRCAS vol. 13 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)

Refine your search