Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

Ziyue Ma, Zhiwu Li, Alessandro Giua. Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Trans. Automat. Contr., 62(3):1329-1341, 2017. [doi]

Abstract

Abstract is missing.