Author:
Berthomieu Bernard,Lime Didier,Roux Olivier H.,Vernadat François
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering
Reference21 articles.
1. Alur R, Courcoubetis C, Halbwachs N, Henzinger T, Ho P-H, Nicollin X, Oliver A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comp Sci 138:3–34
2. Berthomieu B (2001) La méthode des classes d’états pour l’analyse des réseaux Temporels – Mise en œuvre, Extension à la multi-sensibilisation. Proc. Modélisation des Systèmes Réactifs, Toulouse, France, October
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, March
4. Berthomieu B, Menasche M (1983) An enumerative approach for analyzing Time Petri Nets. IFIP Congr Ser 9:41–46
5. 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, 15 July
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献