Liveness Enforcement for a Class of Petri Nets via Resource Allocation.

Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu

Browse the full SMC paper archive.