Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Type de document :
Article dans une revue
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (3), pp.1078 - 1093. 〈10.1109/TAC.2016.2574120〉
Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-01786021
Contributeur : Isabel Demongodin <>
Soumis le : vendredi 4 mai 2018 - 19:16:30
Dernière modification le : mercredi 12 septembre 2018 - 01:26:32

Identifiants

Collections

Citation

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, Institute of Electrical and Electronics Engineers, 2017, 62 (3), pp.1078 - 1093. 〈10.1109/TAC.2016.2574120〉. 〈hal-01786021〉

Partager

Métriques

Consultations de la notice

65