Salimi, E.; Sreenivas, R. S. On invariant-based monitors that enforce liveness in a class of partially controlled general Petri nets. (English) Zbl 1360.93438 IEEE Trans. Autom. Control 60, No. 10, 2825-2830 (2015). Editorial remark: No review copy delivered. MSC: 93C65 Discrete event control/observation systems 68M14 Distributed systems PDFBibTeX XMLCite \textit{E. Salimi} and \textit{R. S. Sreenivas}, IEEE Trans. Autom. Control 60, No. 10, 2825--2830 (2015; Zbl 1360.93438) Full Text: DOI