Author:
Hoyos-Rodríguez Horacio,Jiménez Fernando,Casallas Rubby,Correal Darío
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference30 articles.
1. Andrade E, Maciel P, Callou G, Nogueira B (2009) A methodology for mapping sysml activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In: Digital Society, 2009. ICDS ’09. Third international conference, pp 266–271
2. Bernard B, Francois V (2006) Time Petri nets analysis with TINA. In: International conference on quantitative evaluation of systems, pp 123–124
3. Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17:259–273
4. Berthomieu B, Menasche M (1983) An enumerative approach for analyzing time Petri nets. In: Proceedings IFIP. Elsevier, Amsterdam, pp 41–46
5. Bézivin J (2004) In search of a basic principle for model driven engineering, CEPIS, UPGRADE. Eur J Inform Prof 5(2):21–24
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献