Professor Dr.-Ing. habil. Armin Zimmermann
- Fachgebietsleiter
Kontakt
Zusebau, Raum 2054
Sekretariat: (+49) 3677 / 69 - 2767
Telefon: (+49) 3677 / 69 - 4420
Fax: (+49) 3677 / 69 - 1285
E-Mail: Armin.Zimmermann@TU-Ilmenau.De
Curriculum Vitae
Armin Zimmermann was born in Berlin in 1969. He studied computer science from 1988 to 1990 at Technische Universität Dresden. At the computer science department (now EE&CS) of Technische Universität Berlin he finished his Diploma in 1993. As a part of his thesis he implemented an analysis module of the Petri net tool TimeNET. In 1993 he received a grant from the graduate research training group on communication based systems of the Berlin universities. He has been a fellow of this program until 1997.
Since 1994 he was with the performance evaluation group of Prof. Hommel at TU Berlin. In 1994 he started working in a project on modelling and evaluation of manufacturing systems with colored stochastic Petri nets. This project (named POPP) was funded by the german research council (DFG) as a part of the "Schwerpunktprogramm Modellierung der Produktion" from 1994 until 1999.
A new modelling and analysis method for manufacturing systems based on Petri nets has been developed in this project. The resulting methods have been implemented as an extension of the modelling tool TimeNET. The generic graphical user interface Agnes was a spin-off that is now used for the tool TimeNET. Armin Zimmermann is project manager of TimeNET software development since 1996.
Armin Zimmermann held a position as a research fellow 1995-1999 and 1999-2006 as PostDoc research assistant at TU Berlin. During this time he was the principal investigator of the research group Model-Based Evaluation of Discrete Real-Time Systems and coordinated the graduate research training group "Stochastic Modelling and Quantitative Analysis of Complex Systems in Engineering".
He finished his Dissertation on modelling and analysis of manufacturing systems with Petri nets in September 1997. Armin Zimmermann received the Krone award, the Carl Ramsauer award, and the Chorafas Foundation award for this thesis.
In March 1998 and from September to December 1999 he was a visiting scientist at the Universidad de Zaragoza, Spain, in the research group of Prof. Silva.
He was a guest lecturer at Shanghai Jiao Tong University in 2001 and at the Hasso-Plattner-Institute for IT Systems Engineering of University Potsdam 2003 - 2006.
In 2006 he joined the Hasso Plattner Institute for IT Systems Engineering at the University Potsdam as a guest professor in the communication systems group.
His Habilitation thesis on Stochastic Discrete Event Systems has been accepted by the Faculty of Electrical Engineering and Computer Science at TU Berlin in 2005, and the Habilitation ("Lehrbefähigung") was awarded in June 2006.
He held a substitute professorship for Real-Time Systems and Robotics at TU Berlin 2006 - 2008. In summer 2008 he was appointed head of the System and Software Engineering group at Technische Universität Ilmenau, in the Computer Science and Automation faculty.
He published a book on Stochastic Discrete Event Systems - Modeling, Evaluation, Applications recently (Springer 2007). In 2008 he serves as Associate Editor of IEEE Transactions on Industrial Informatics in the area Formal Methods, Distributed & Discrete Event Systems in Automation and Embedded Systems. He is a member of the Industrial Automated Systems and Controls Subcommittee of the IEEE IES Technical Committee on Factory Automation (TCFA). Armin Zimmermann is editorial board member of the Int. Journal of Critical Computer-Based Systems (IJCCBS).
He teaches courses on Modelling, Performance analysis and Simulation, Software Engineering, Robotics, Real-time and Embedded Systems, Automation, and Operating Systems.
He is a member of the German Informatics Society (GI), IEEE, and Deutscher Hochschulverband. His research interests include modelling, performance evaluation, optimization, and control of technical systems using discrete-event models as well as their tool support.
Forschung
Model-based quantitative engineering of systems and processes
- Modelling (stochastic Petri nets, colored stochastic Petri nets, UML State Machines etc.)
- Evaluation (performance, dependability, timeliness etc.)
- Simulation (fine-grained distributed simulation with dynamic load balancing, efficient simulation of highly dependable systems with rare-event simulation techniques etc.)
- Analysis (numerical analysis techniques, model-structure simplifications for approximative solutions etc.)
- Optimization (speedup of indirect optimization using model structure information and preoptimization)
- Control (controlling e.g. a manufacturing system directly with a Petri net model)
... of (stochastic) discrete event dynamic systems
Application of results and methods in practice, industrial applications in the areas
- Embedded systems and real-time communication in highly dependable systems
http://comp.uark.edu/%7Eaapon/wpdrts2002/- Automotive Systems
- Avionics
- Train control
- Manufacturing systems
- Workflow systems
- Logistics and supply chains
Software tool support
- Petri net modelling and analysis tool TimeNET
- Generic graphical user interfaces for modelling tools
Veröffentlichungen
Buch
Armin Zimmermann:
Stochastic Discrete Event Systems - Modeling, Evaluation, Applications.
Springer, Berlin Heidelberg New York. ISBN 978-3-540-74172-5; October 2007.
[ Table of contents ]
Journalbeiträge
Mario Schulz, Volker Zerbe, Kai Yang, and Armin Zimmermann:
Optimization of Avionic System Architectures.
CEAS Aeronautical Journal Vol. 2, (1-4) December 2011, Springer, pp. 289-294.
Carlos Araújo, Paulo Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Callou and Paulo Cunha:
Performability Modeling of Electronic Funds Transfer Systems.
Computing, Vol. 91 (4), pp. 315-334, Springer Wien, 2010.
Gabriel Alves, Paulo Maciel, Ricardo Lima, and Armin Zimmermann:
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution.
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, Vol. 40 (5), Sept. 2010, pp. 1025-1044.
H. Schweppe, A. Zimmermann, and D. Grill:
Flexible On-Board Stream Processing for Automotive Sensor Data.
IEEE Transactions on Industrial Informatics, Volume 6, Number 1, February 2010, pp. 81-92.
Chr. Fleischer; A. Zimmermann:
Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten.
Computer Science - Research and Development Vol. 22, No. 3 pp. 172-183 (Themenheft "Software Engineering in der Medizin"), 2008.
A. Zimmermann; G. Hommel:
Towards Modeling and Evaluation of ETCS Real-Time Communication and Operation.
Journal of Systems and Software Vol. 77, Issue 1, pp. 47-54, 2005 (special issue on Parallel and Distributed Real-Time Systems).
[ pdf ]
Parallel and Distributed Computing Practices (PDCP) Vol. 5, No. 1, Special issue on Parallel and Distributed Real-Time Systems,
Guest editors: B. Pfarr; A. Zimmerman; S. Brandt, March 2002.
A. Zimmermann; D. Rodriguez; M. Silva:
A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems.
Journal of Intelligent Manufacturing, special issue "Global Optimization Meta-Heuristics for Industrial Systems Design and Management", Vol. 12(5/6) pp. 409-420, October 2001.
[ pdf ]
A. Zimmermann; J. Freiheit; A. Huck:
A Petri net based design engine for manufacturing systems.
Int. Journal of Production Research, vol. 39, 2001, no. 2, pp. 225-253 (Special issue on Modeling, Specification and Analysis of Manufacturing Systems).
[ pdf ]
A. Zimmermann; G. Hommel:
Modelling and Evaluation of Manufacturing Systems Using Dedicated Petri Nets.
Int. Journal of Advanced Manufacturing Technology 15 (1999) pp. 132-137.
[ pdf ]
A. Zimmermann:
Modeling of Manufacturing Systems and Production Routes Using Coloured Petri Nets.
Int. Journal of Robotics and Automation, 13 No. 3 (1998) pp. 96-100. (paper first published in the 1995 Int. Conf. on Robotics and Manufacturing)
[ ps ]
R. German; C. Kelling; A. Zimmermann; G. Hommel:
TimeNET - A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets.
Journal of Performance Evaluation 24 (1995) 69-87.
[ pdf ]
Ch. Kelling; R. German; A. Zimmermann; G. Hommel:
TimeNET - ein Werkzeug zur Modellierung mit Zeiterweiterten Petri-Netzen.
Informationstechnik und Technische Informatik (it+ti), 37(3), 1995. (Oldenbourg-Verlag, pp. 21-27)
[ in german; paper copy available upon request ]
R. German; A. Zimmermann; C. Kelling; G. Hommel:
Modellierung und Bewertung von flexiblen Fertigungssystemen mit TimeNET.
CIM Management, 3 (1994) 24-27.
[ in german; paper copy available upon request ]
Beiträge zu Konferenzen und Workshops
Armin Zimmermann and Christoph Bodenstein:
Towards Accuracy-Adaptive Simulation for Efficient Design-Space Optimization.
IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC 2011), October 2011, Anchorage.
Armin Zimmermann and Karin Schulze:
Model-Based Architectural Design of Avionic Optical Networks in the DAPHNE Project.
37th Europen Conference and Exhibition on Optical Communication (ECOC 2011), Symposium on Optical Avionic Networks, Geneva, Switzerland, September 2011.
Mario Schulz, Volker Zerbe, Kai Yang, and Armin Zimmermann:
Optimization of Avionic System Architectures.
Tagungsband 60. Deutscher Luft- und Raumfahrtkongress 2011, September 2011, Bremen.
Dmitriy Shorin and Armin Zimmermann:
Model-based Development of Energy-efficient Automation Systems.
17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011, WiP), Chicago, 11-14 April 2011.
[ pdf ]
Christoph Bodenstein, Frank Lohse, and Armin Zimmermann:
Executable Specifications for Model-Based Development of Automotive Software.
IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC 2010), October 2010, Istanbul, Turkey.
Volker Zerbe, Mario Schulz, Armin Zimmermann, and Stephan Marwedel:
Model-Based Evaluation of Avionics Maintenance and Logistics Processes.
IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC 2010), October 2010, Istanbul, Turkey.
Thomas Glotzbach, Bassam Alrifaee, Matthias Schneider, Marco Jacobi, Armin Zimmermann, and Christoph Ament:
Advanced Trajectory Planning for Obstacle Avoidance of Multiple Unmanned Marine Vehicles (MUMVs).
8th IFAC Conference on Control Applications in Marine Systems, CAMS 2010, Rostock, Germany, September 2010.
A. Zimmermann:
Dependability evaluation of complex systems with TimeNET.
Proc. First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems (DYADEM-FTS 2010), pp. 33-34, Valencia, Spain, April 2010.
Rasmus Kölln and Armin Zimmermann:
Transparent Coordinator Failure Recovery for ZigBee Networks.
14th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, September 2009, pp. 1-8.
Armin Zimmermann and Jan Trowitzsch:
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation.
In: H. Giese u.a. (Hrsg.): Tagungsband des Dagstuhl Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V.
Informatik- Bericht 2009-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2009, S. 128 - 139.
[ pdf ]
G. Alves Jr.; P. Maciel; R. Lima; A. Zimmermann:
Performance Evaluation of Logistics with Componentized Stochastic Models.
Proc. IEEE Int. Conf. on Systems, Man and Cybernetics (SMC 2008) October 2008, Singapore, pp. 2087-2092.
A. Zimmermann:
RESTART Simulation of Colored Stochastic Petri Nets.
Proc. 7th Int. Workshop on Rare Event Simulation (RESIM 2008), September 24-26 2008, Rennes, France, pp. 143-152.
[ pdf ]
F. Lindlar; A. Zimmermann:
A Code Generation Tool for Embedded Automotive Systems Based on Finite State Machines.
Proc. 6th IEEE Int. Conf. on Industrial Informatics (INDIN 2008) Daejeon, South Korea, pp. 1539-1544, July 2008.
[ pdf ]
M. Brenner; A. Zimmermann:
Analysis of Delay Time Distributions in Multistage Interconnection Networks Considering Multicast Traffic.
The 7th IEEE Int. Symposium on Network Computing and Applications (NCA08) Cambridge, MA, July 2008, pp. 236-239.
[ pdf ]
A. Wege; A. Zimmermann:
Electromyography Sensor Based Control for a Hand Exoskeleton.
IEEE Int. Conf. on Robotics and Biomimetics (ROBIO 2007) Sanya, China, pp. 1470-1475, December 2007.
[ pdf ]
J. Trowitzsch; D. Jerzynek; A. Zimmermann:
A Toolkit for Performability Evaluation Based on Stochastic UML State Machines.
2nd Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2007) Nantes, France, October 2007, ACM International Conference Proceeding Series, Vol. 321.
[ pdf ]
V. Remuss; A. Zimmermann:
Tool-Based Performance Evaluation of the BlackBoard Communication System.
2nd Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2007) Nantes, France, October 2007, ACM International Conference Proceeding Series, Vol. 321.
[ pdf ]
A. Zimmermann:
Applied RESTART Estimation of General Reward Measures.
6th Int. Workshop on Rare Event Simulation (RESIM 2006) Bamberg, Germany, October 2006, pp. 196-204.
[ pdf ]
J. Trowitzsch; A. Zimmermann:
Using UML State Machines and Petri Nets for the Quantitative Investigation of ETCS.
Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS 2006) Pisa, Italy, October 2006, ACM International Conference Proceeding Series, Vol. 180.
[ pdf ]
M. Knoke; A. Zimmermann:
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.
3rd Int. Conf. Quantitative Evaluation of Systems (QEST '06) September 2006, Riverside, CA, USA, pp. 117-118.
A. Zimmermann:
Extended Reward Measures in the Simulation of Embedded Systems With Rare Events.
Proc. 7th Int. Workshop Embedded Systems - Modelling, Technology, Applications. June 2006, Berlin, pp. 43-52, Springer.
A. Zimmermann; M. Knoke; G. Hommel:
Complete Event Ordering for Time-Warp Simulation of Stochastic Discrete Event Systems.
Design, Analysis, and Simulation of Distributed Systems 2006 (DASD 2006, part of SpringSim 2006), April 2006, Huntsville, Alabama, pp. 459-466.
[ pdf ]
J. Trowitzsch; A. Zimmermann:
Real-Time UML State Machines: An Analysis Approach.
Workshop Object Oriented Software Design for Real Time and Embedded Computer Systems (Net.ObjectDays 2005) September 2005, Erfurt, Germany.
[ pdf ]
M. Knoke; F. Kühling; A. Zimmermann; G. Hommel:
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning.
2nd Int. Symposium on Parallel and Distributed Processing and Applications (ISPA'04), Hong Kong, China, December 2004.
In: J. Cao et. al. (Eds.) Proc. ISPA'04, Springer LNCS 3358, pp. 64-74.
[ pdf ]
J. Dehnert; A. Zimmermann:
Making Workflow Models Sound Using Petri Net Controller Synthesis.
R. Meersman, Z. Tari (Eds.): Proc. Int. Conf. on Cooperative Information Systems (COOPIS'04), Springer LNCS 3290, pp. 139-154; Larnaca, Cyprus, October 2004.
[ pdf ]
J. Freiheit; A. Zimmermann:
A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets.
Proc. 9th Int. Workshop on Petri Nets and Performance Models (PNPM2001), pp. 91-100, September 2001.
J. Freiheit; A. Zimmermann:
Dekompositionelle Leistungsbewertung großer stochastischer Petrinetze.
Engineering komplexer Automatisierungssysteme (EKA 2001) Braunschweig, April 25-27, 2001, pp. 311-323 (in german).
A. Zimmermann:
Colored Petri Net Modeling, Evaluation, and Control of a Manufacturing Cell.
Seminar on Advanced Robotics and its Application, Shanghai, P. R. China, October 2000, pp. 49-54.
A. Zimmermann; D. Rodriguez; M. Silva:
A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System.
5th Workshop on Discrete Event Systems (WODES'2000), Ghent, Belgium, August 2000.
In: R. Boel and G. Stremersch (eds.): Discrete Event Systems - Analysis and Control (Kluwer Academic Publishers) pp. 291-298.
[ pdf ]
A. Zimmermann; J. Freiheit; R. German; G. Hommel:
Petri Net Modelling and Performability Evaluation with TimeNET 3.0.
11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'2000), LNCS 1786, pp. 188-202, Schaumburg, Illinois, USA, March 2000.
[ pdf ]
J. Dehnert; J. Freiheit; A. Zimmermann:
Workflow Modeling and Performance Evaluation with Colored Stochastic Petri Nets.
AAAI Spring Symposium - Bringing Knowledge to Business Processes (AAAI Spring Symp. 2000), pp. 139 - 141, Stanford, USA, March 2000.
H. Westphal; A. Zimmermann; S. Gramlich; D. Glür:
Comparing Industrial Simulation and Petri Net Simulation for the Design of an Automation Structure for Semiconductor Fabrication.
11th European Simulation Symposium (ESS'99), Castle, Friedrich-Alexander University, Erlangen-Nuremberg, 1999.
H. Westphal; A. Zimmermann; S. Gramlich; D. Glür:
Introduction into Petri Net Based Simulation and Performance Evaluation of a Semiconductor Fab.
11th European Simulation Symposium (ESS'99), Castle, Friedrich-Alexander University, Erlangen-Nuremberg, 1999.
A. Zimmermann; A. Kühnel; G. Hommel:
A Modelling and Analysis Method for Manufacturing Systems Based on Petri Nets.
Computational Engineering in Systems Applications (CESA '98), Nabeul-Hammamet, Tunisia, April 1998, pp. 276-281.
[ pdf ]
A. Zimmermann; K. Dalkowski; G. Hommel:
A Case Study In Modeling And Performance Evaluation Of Manufacturing Systems Using Colored Petri Nets.
8th European Simulation Symposium (ESS '96), Genoa, Italy, 1996, pp. 282-286.
[ pdf ]
A. Zimmermann; S. Bode; G. Hommel:
Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets.
Workshop Manufacturing Systems and Petri Nets at the 17th Int. Conf. on Application and Theory of Petri Nets, Osaka, Japan, 1996, pp. 235-250.
[ pdf ]
A. Zimmermann:
Modeling of Manufacturing Systems and Production Routes Using Coloured Petri Nets.
Int. Conf. on Robotics and Manufacturing, Cancún, Mexico, pp. 380-383, 1995.
(also in Int. Journal of Robotics and Automation, Vol. 13, No. 3, 1998, pp. 96-100)
[ ps ]
A. Zimmermann; S. Bode:
Modellierung von Fertigungssystemen und Arbeitsplänen mit farbigen Petri-Netzen.
E. Schnieder (Ed.), 4. Fachtagung Entwurf Komplexer Automatisierungssysteme (EKA95), Braunschweig, pp. 249-262, 1995 (in german).
[ ps ]
A. Zimmermann:
A Modeling Method for Flexible Manufacturing Systems based on Colored Petri Nets.
Proc. Int. Workshop on New Directions in Control and Manufacturing, Hong Kong, 1994, pp. 147-154.
[ ps ]
Abschlußarbeiten
A. Zimmermann:
Stochastic Discrete Event Systems - Modeling, Evaluation, Applications.
Habilitation Thesis, Faculty of Electrical Engineering and Computer Science, Technische Universität Berlin, June 2006.
A. Zimmermann:
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen.
Dissertation, TU Berlin, September 1997.
[ pdf ]
A. Zimmermann:
Entwicklung eines Verfahrens zur Analyse von erweiterten DSPN-Modellen.
Master Thesis, TU Berlin. Published as Technical Report FB Informatik 1993-40 together with Ch. Lindemann (thesis advisor).
A. Zimmermann:
Realisierung eines effizienten Verfahrens zur Erzeugung des Erreichbarkeitsgraphen von DSPN-Modellen.
Studienarbeit, TU Berlin. Published as Technical Report FB Informatik 1992-38 together with Ch. Lindemann (thesis advisor).
Forschungsberichte
S.-T. Yee; J. Tew; A. Zimmermann; M. Knoke; A. Huck:
Container Management Decision Support System Development.
Research Report MSR-?, GM Research and Development Center, Warren MI (submitted).
A. Zimmermann; M. Knoke:
TimeNET 4.0 - A Software Tool for the Performability Evaluation with Stochastic and Colored Petri Nets (User Manual).
Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technical Report 2007-13.
[ pdf ]
S.-T. Yee; J. Tew;, A. Zimmermann; M. Knoke; A. Huck:
New Methodology for Developing Supply Chain Models in Support of OTD.
Research Report MSR-121, GM Research and Development Center, Warren MI 2003.
A. Huck; J. Freiheit; A. Zimmermann:
Convex Geometry Applied to Petri Nets: State Space Size Estimation and Calculation of Traps, Siphons, and Invariants.
Forschungsbericht 2000-6 des Fachbereichs Informatik der TU Berlin (technical report)
abstract
The computation of Petri net properties - if solely based on its structural information - is less time and space consuming than methods based on a reachability graph analysis. In this paper we propose an improved algorithm for the generation of minimal invariants, traps, and siphons. Furthermore, a method for the efficient estimation of the state space size for Petri nets is presented, which uses the obtained structural properties. Both algorithms only require structural net information and are based on a new and improved implementation of the double description method. We show how this convex geometry technique can be successfully applied to Petri nets.
G. Hommel; A. Zimmermann; J. Freiheit (Eds.):
Modellierungstechniken für Fertigungssysteme auf der Grundlage von Petri-Netzen - Gemeinsamer Bericht der Arbeitsgruppe "Fuzzy-Petri-Netze" im DFG-Schwerpunktprogramm "Modellierung der Produktion".
Forschungsbericht 2000-1 des Fachbereichs Informatik der TU Berlin (technical report, in german).
[ ps ]
A. Zimmermann:
A Modeling Formalism for Flexible Manufacturing Systems based on Colored Petri Nets.
In: Contributions to the Quality of Communication-Based Systems (Proceedings of an Int. Workshop). TU Berlin, Technischer Bericht des FB Informatik 1994-27, S. 93-108.
C. Lindemann; A. Zimmermann:
An Adaptive Algorithm for the Efficient Generation of the Tangible Reachability Graph of a Stochastic Petri Net.
TU Berlin, Technical Report FB Informatik 1994-8.