Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs
From MaRDI portal
Publication:5211194
DOI10.1109/TAC.2019.2897272zbMath1482.68149WikidataQ128424756 ScholiaQ128424756MaRDI QIDQ5211194
Dan You, ShouGuang Wang, Carla Seatzu
Publication date: 28 January 2020
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)