Publisher
Springer International Publishing
Reference12 articles.
1. Bernardi, S., Bertoncello, C., Donatelli, S., Franceschinis, G., Gaeta, G., Gribaudo, M., Horvàth, A.: GreatSPN in the new millenium. In: International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, Research Report 760, 2001, Universität Dortmund, Germany: tools of Aachen 2001, pp. 17–23 (2001)
2. Bodenstein, C., Zimmermann, A.: TimeNET optimization environment - batch simulation and heuristic optimization of SCPNs with TimeNET 4.2. In: 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014), Bratislava, Slovakia, December 2014
3. Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.: Möbius 2.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: IEEE/IFIP International Conference on Dependable Systems Networks, pp. 353–358 (2009)
4. Lecture Notes in Computer Science;C Hirel,2000
5. Jensen, K., Kristensen, K.L., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. (STTT) 9(3–4), 213–254 (2007)
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献