Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs

Ziyue Ma, Guanghui Zhu, Zhiwu Li. Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs. IEEE Trans. Automat. Contr., 66(2):810-817, 2021. [doi]

Abstract

Abstract is missing.