Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

DOI10.1109/TAC.2023.3292747MaRDI QIDQ6200013

Zhiwu Li, Unnamed Author, Maria Pia Fanti, Agostino Marcello Mangini

Publication date: 29 February 2024

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

zbMATH Keywords

supervisory controlPetri net (PN)discrete event system (DES)critical observability

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings