Liveness Enforcement for a Class of Petri Nets via Resource Allocation

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02475849
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 12:14:34 PM
Last modification on : Friday, February 14, 2020 - 1:27:50 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

3