Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference38 articles.
1. Basile F, Chiacchio P, De Tommasi G (2012) On K-diagnosability of Petri nets via integer linear programming. Automatica 48(9):2047–2058
2. Benveniste A, Fabre E, Haar S, Jard C (2003) Diagnosis of asynchronous discrete-event systems: a net unfolding approach. Trans Autom Control 48(5):714–727
3. Berthomieu B, Ribet P O, Vernadat F (2004) The tool tina – construction of abstract state spaces for Petri nets and time Petri nets. Int J Prod Res 42(14):2741–2756
4. Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time Petri nets. In: 4th International conference formal modeling and analysis of timed systems. Paris, pp 82– 97
5. Berthomieu B, Peres F, Vernadat F (2007) Model-checking bounded prioriterized time Petri nets. In: Automated technology for verification and analysis, vol 4762. Springer Verlag, LNCS, pp 523– 532
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献