Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li. Critical Observability of Safe Petri Nets via Integer Linear Programming. In 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018. pages 1029-1034, IEEE, 2018. [doi]
Abstract is missing.