Noninterference analysis of bounded Petri nets using basis reachability graph

DOI10.1109/TAC.2024.3397695MaRDI QIDQ6668239zbMATH OpenFDO

Authors Ning Ran, Jingyao Nie, Aiwen Meng, C. Seatzu

Publication date 21 January 2025

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

Full work available at URL https://doi.org/10.1109/TAC.2024.3397695

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(1)

• Verification of current-state opacity and opaque time for labeled time Petri net systems

This page was built for publication: Noninterference analysis of bounded Petri nets using basis reachability graph

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