关注
Armin Zimmermann
Armin Zimmermann
Professor für Informatik, Technische Universität Ilmenau
在 tu-ilmenau.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
R German, C Kelling, A Zimmermann, G Hommel
Performance Evaluation 24 (1-2), 69-87, 1995
3001995
Petri net modelling and performability evaluation with TimeNET 3.0
A Zimmermann, J Freiheit, R German, G Hommel
Computer Performance Evaluation. Modelling Techniques and Tools: 11th …, 2000
1782000
Stochastic Discrete Event Systems
A Zimmermann
Springer, 2008
1752008
Electromyography sensor based control for a hand exoskeleton
A Wege, A Zimmermann
2007 IEEE international conference on robotics and biomimetics (ROBIO), 1470 …, 2007
1472007
Towards modeling and evaluation of ETCS real-time communication and operation
A Zimmermann, G Hommel
Journal of Systems and Software 77 (1), 47-54, 2005
1162005
Modeling and evaluation of stochastic Petri nets with TimeNET 4.1
A Zimmermann
6th International ICST Conference on Performance Evaluation Methodologies …, 2012
1152012
Smart industry: How ICT will change the game!
BR Haverkort, A Zimmermann
IEEE internet computing 21 (1), 8-10, 2017
1132017
A train control system case study in model-based real time system design
A Zimmermann, G Hommel
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
1122003
Modelling and performance evaluation with timenet 4.4
A Zimmermann
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
782017
Modelling and evaluation of manufacturing systems using dedicated Petri nets
A Zimmermann, G Hommel
The International Journal of Advanced Manufacturing Technology 15, 132-138, 1999
681999
Towards version 4.0 of TimeNET
A Zimmermann, M Knoke, A Huck, G Hommel
13th GI/ITG Conference-Measuring, Modelling and Evaluation of Computer and …, 2006
632006
A two phase optimization method for Petri net models of manufacturing systems
A Zimmermann, D Rodriguez, M Silva
Journal of Intelligent Manufacturing 12, 409-420, 2001
492001
Using UML state machines and Petri nets for the quantitative investigation of ETCS
J Trowitzsch, A Zimmermann
Proceedings of the 1st international conference on Performance evaluation …, 2006
482006
A Petri net based design engine for manufacturing systems
A Zimmermann, J Freiheit, A Huck
International Journal of Production Research 39 (2), 225-253, 2001
482001
Dependability models for designing disaster tolerant cloud computing systems
B Silva, P Maciel, E Tavares, A Zimmermann
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
472013
Flexible on-board stream processing for automotive sensor data
H Schweppe, A Zimmermann, D Grill
IEEE Transactions on Industrial Informatics 6 (1), 81-92, 2009
462009
An empirical study on generic multicopter energy consumption profiles
T Dietrich, S Krug, A Zimmermann
2017 Annual IEEE International Systems Conference (SysCon), 1-6, 2017
442017
Discrete time stochastic Petri nets for modeling and evaluation of real-time systems
A Zimmermann, J Freiheit, G Hommel
Proceedings 15th International Parallel and Distributed Processing Symposium …, 2001
432001
On the suitability of correctness criteria for business process models
J Dehnert, A Zimmermann
Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005
412005
Timenet 3.0 tool description
A Zimmermann, R German, J Freiheit, G Hommel
8th Intern. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, 1999
391999
系统目前无法执行此操作,请稍后再试。
文章 1–20