Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets

From MaRDI portal
Publication:2125506

DOI10.1016/J.AUTOMATICA.2022.110221zbMath1485.93361OpenAlexW4220734997MaRDI QIDQ2125506

Yin Tong, Carla Seatzu, Hao Lan

Publication date: 14 April 2022

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2022.110221




Related Items (1)


Uses Software



Cites Work




This page was built for publication: Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets