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⟩