 |
Conference papers
Liveness Enforcement for a Class of Petri Nets via Resource Allocation
Dan You
1
Shouguang Wang
2
Hao Dou
2
Wenli Duo
2
Kamel Barkaoui
3
Carla Seatzu
3
3
CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Kamel Barkaoui 3
Author IdHAL : kamel-barkaoui
Carla Seatzu 3
Author
1
DIEE - Department of Electrical and Electronic Engineering [University of Cagliari] (Piazza d'Armi, 09123, Cagliari - Italy)
- University of Cagliari (Italy)
2
Zhejiang University (866 Yuhangtang Road * Hangzhou * Zhejiang Province * 310058 * P. R. China - China)
3
CEDRIC - SYS - CEDRIC. Systèmes sûrs
- CEDRIC - Centre d'études et de recherche en informatique et communications (292 rue Saint-Martin
75141 PARIS Cedex 03
Case courrier 2D4P30 - France)
- ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise : EA4629 (France)
- CNAM - Conservatoire National des Arts et Métiers [CNAM] : EA4629 (France)
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 : Thursday, February 18, 2021 - 3:14:02 PM
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 12:14:34 PM
Last modification on : Thursday, February 18, 2021 - 3:14:02 PM
Identifiers
- HAL Id : hal-02475849, version 1
- DOI : 10.1109/SMC.2018.00738
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⟩
Metrics
Record views