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

Document type :
Journal articles
Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-01786021
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 7:16:30 PM
Last modification on : Wednesday, September 12, 2018 - 1:26:32 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

74