Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem - Aix-Marseille Université Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2017

Dates et versions

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

Identifiants

Citer

Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua. Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Transactions on Automatic Control, 2017, 62 (3), pp.1078 - 1093. ⟨10.1109/TAC.2016.2574120⟩. ⟨hal-01786021⟩
89 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More