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

Ziyue Ma; Yin Tong; Zhiwu Li; Alessandro Giua

doi:10.1109/TAC.2016.2574120

Journal Articles IEEE Transactions on Automatic Control Year : 2017

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

(1) , (1) , (1) , (2, 3, 4)

1
2
3
4

Ziyue Ma

Function : Author

Xidian University

Yin Tong

Function : Author

Xidian University

Zhiwu Li

Function : Author
PersonId : 773377
ORCID : 0000-0003-1547-5503

Xidian University

Alessandro Giua

Function : Author

Laboratoire des Sciences de l'Information et des Systèmes

Modèles et Formalismes à Evénements Discrets

Department of Electrical and Electronic Engineering [University of Cagliari]

Domains

Engineering Sciences [physics]

Isabel Demongodin : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-01786021

Submitted on : Friday, May 4, 2018-7:16:30 PM

Last modification on : Wednesday, February 8, 2023-5:11:04 PM

Dates and versions

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

Identifiers

HAL Id : hal-01786021 , version 1
DOI : 10.1109/TAC.2016.2574120

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU LSIS-MOFED LIS-LAB ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES

85 View

0 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share