Author:
Karamti Walid,Mahfoudhi Adel
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Information Systems,Theoretical Computer Science,Software
Reference33 articles.
1. Amnell T, Fersman E, Mokrushin L, Pettersson P, Wang Y (2002) Times—a tool for modelling and implementation of embedded systems. In: TACAS ’02: Proceedings of the 8th international conference on tools and algorithms for the construction and analysis of systems. Springer, London, pp 460–464
2. Antti V (1989) Stubborn sets for reduced state space generation. In: Applications and theory of Petri Nets, pp 491–515
3. Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time petri nets. IEEE Trans Softw Eng 17(3):259–273
4. Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time petri nets. In: FORMATS, pp 82–97
5. Berthomieu B, Vernadat F (2006) Time petri nets analysis with tina. In: QEST, pp 123–124
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献