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

Ziyue Ma 1 Yin Tong 1 Zhiwu Li 1 Alessandro Giua 2, 3, 4
1 Xidian University
2 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
3 MOFED - Modèles et Formalismes à Evénements Discrets
LIS - Laboratoire d'Informatique et Systèmes
4 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari]
Document type :
Journal articles
Complete list of metadatas
https://hal-amu.archives-ouvertes.fr/hal-01786021
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 7:16:30 PM
Last modification on : Friday, October 11, 2019 - 10:35:35 AM

Links full text

openaccess

Identifiers

Collections

UNIV-AMU | CNRS | UNIV-TLN | LSIS | LIS-LAB | UNIV-HESAM | LSIS-MOFED

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

124

Contact

Informations

CCSD