Dan You, ShouGuang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu. Liveness Enforcement for a Class of Petri Nets via Resource Allocation. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, Miyazaki, Japan, October 7-10, 2018. pages 4369-4374, IEEE, 2018. [doi]
Abstract is missing.