Author:
Boucheneb Hanifa,Barkaoui Kamel
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference14 articles.
1. Behrmann G, Bouyer P, Larsen KG, Pelànek R (2006) Lower and upper bounds in zone-based abstractions of timed automata. Int J Softw Tools Technol Transf 8(3):204–215
2. Bengtsson J (2002) Clocks, DBMs and states in timed systems. PhD thesis, Dept. of Information Technology, Uppsala University
3. Berthomieu B, Peres F, Vernadat F (2007) Model-checking bounded prioriterized time Petri nets. In: Proceedings of ATVA 2007. LNCS, vol 4762
4. Berthomieu B, Vernadat F (2003) State class constructions for branching analysis of time Petri nets. LNCS 2619:442–457
5. Boucheneb H, Gardey G, Roux OH (2009) TCTL model checking of time Petri nets. J Log Comput 19(6):1509–1540. doi: 10.1093/logcom/exp036
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献