Author:
Hadjidj Rachid,Boucheneb Hanifa
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference19 articles.
1. Alur, R., Dill, D.: Automata for modelling real-time systems. In: Proceedings of ICALP’90. LNCS, vol. 443, pp. 322–335. Springer, Berlin (1990)
2. Behrmann, G., Bengtsson, J., David, A., Larsen, K.G., Pettersson, P., Yi, W.: Uppaal implementation secrets. In: Proceedings of LNCS, vol. 2469, pp. 3–22. Springer, Berlin (2002)
3. Berthomieu, B., Menasche, M.: An enumerative approach for analyzing time Petri nets. In: Proceedings of the IFIP 9th World Computer Congress, Information Processing, vol. 9, pp. 41–46. IFIP, North Holland, September 1983
4. Berthomieu, B., Vernadat, F.: State class constructions for branching analysis of time Petri nets. In: Proceedings of TACAS’03, LNCS, vol. 2619, pp. 442–457. Springer, Berlin (2003)
5. Boucheneb, H., Mullins, J.: Analyse de rTseaux de Petri temporels. calculs des classes en O(n 2) et des temps de chemin en O(m × n). Tech. Sci. Inf. 22(4), (2003)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献