Noninterference analysis of bounded Petri nets using basis reachability graph

DOI10.1109/TAC.2024.3397695MaRDI QIDQ6668239FDOQ6668239

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)