Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations - Aix-Marseille Université Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2017

Dates et versions

hal-01786018 , version 1 (04-05-2018)

Identifiants

Citer

Ziyue Ma, Zhiwu Li, Alessandro Giua. Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Transactions on Automatic Control, 2017, 62 (3), pp.1329 - 1341. ⟨10.1109/TAC.2016.2585647⟩. ⟨hal-01786018⟩
102 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More