Author:
Dong Yifan,Wu Naiqi,Li Zhiwu
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference22 articles.
1. Automata for modeling real-time systems;Alur,1990
2. Supervisory controller design for timed Petri nets;Aybar,2006
3. Noninterference enforcement via supervisory control in bounded Petri nets;Basile;IEEE Transactions on Automatic Control,2020
4. Modelling opacity using Petri nets;Bryans;Electronic Notes in Theoretical Computer Science,2005
5. Fault detection for discrete event systems using Petri nets with unobservable transitions;Cabasino;Automatica,2010