Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem - Archive ouverte HAL Access content directly
Journal Articles IEEE Transactions on Automatic Control Year : 2017

Dates and versions

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

Identifiers

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⟩
85 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More