Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, et al.. Liveness Enforcement for a Class of Petri Nets via Resource Allocation.
2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Oct 2018, Miyazaki, France. pp.4369-4374,
⟨10.1109/SMC.2018.00738⟩.
⟨hal-02475849⟩ 
