Predictability verification of fault patterns in labeled Petri nets

DOI10.1109/TAC.2024.3477959MaRDI QIDQ6961279zbMATH OpenFDO

Authors Xuya Cong, Zhenhua Yu, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li

Publication date 10 July 2025

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Predictability verification of fault patterns in labeled Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6961279)