Author:
Saadaoui Ikram,Li Zhiwu,Wu Naiqi
Funder
National Key R&D Program of China
National Natural Science Foundation of China
Science Technology Development Fund, Macau SAR
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference26 articles.
1. A technique for reachability graph generation for the Petri net models of parallel processes;Ahmad;International Journal of Electrical and Electronics Engineering,2009
2. Multilevel transitive and intransitive non-interference, causally;Baldan;Theoretical Computer Science,2018
3. An algebraic characterization of language-based opacity in labeled Petri nets;Basile;IFAC-PapersOnLine,2018
4. Non-interference enforcement in bounded Petri nets;Basile,2018
5. Opaque superlanguages and sublanguages in discrete event systems;Ben-Kalefa;Cybernetics and Systems,2016
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献