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

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 : Tuesday, July 9, 2019 - 4:48:39 PM

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

97