Towards Efficient Partial Order Techniques for Time Petri Nets. - Kuangze Wang; Hanifa Boucheneb; Kamel Barkaoui; Zhiwu Li 001 (VECoS, 2020)

Time based deadlock prevention for Petri nets. - Hanifa Boucheneb; Kamel Barkaoui; Qian Xing; Kuangze Wang; GaiYun Liu; ZhiWu Li 001 (Autom., 2022)