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)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

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)