http://www.tu-ilmenau.de

Logo TU Ilmenau


Ihre Position

INHALTE

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.Since 2012 he serves as director of the Institute for Computer and Systems Engineering of TUI.

He published a book on Stochastic Discrete Event Systems - Modeling, Evaluation, Applications (Springer 2007). Since 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 and dependability 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

  • 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

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

B. R. Haverkort, A. Zimmermann:
Smart Industry: How ICT Will Change the Game!
IEEE Internet Computing 21(1), 2017, pp. 8-10 (Special issue guest editorial).

Jager, S. ; Jungebloud, T. ; Maschotta, R. ; Zimmermann, A.:
Model-Based QoS Evaluation and Validation for Embedded Wireless Sensor Networks.
IEEE Systems Journal (vol. 10, no. 2), Page 592-603, June 2016, ISSN 1932-8184.
[ pdf ]

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.

J. Dehnert; J. Freiheit; A. Zimmermann:
Modelling and Evaluation of Time Aspects in Business Processes.
Journal of the Operational Research Society Vol. 53, No. 9, pp. 1038-1047, 2002.
[ pdf ]

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

Thomas Dietrich, Silvia Krug, Thomas Hotz and Armin Zimmermann:
Towards Energy Consumption Prediction with Safety Margins for Multicopter Systems.
11th Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2017), December 5–7, Venice, Italy (accepted for publication).
[ pdf ]

Armin Zimmermann, Andrés Canabal Lavista and Ricardo J. Rodríguez:
Some Notes on Rare-Event Simulation Challenges.
11th Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2017), December 5–7, Venice, Italy (accepted for publication).
[ pdf ]

Thomas Dietrich, Silvia Krug and Armin Zimmermann:
A Discrete Event Simulation and Evaluation Framework for Multi UAV System Maintenance Processes.
IEEE Int. Symposium on Systems Engineering (ISSE 2017), Vienna, Austria, October 11-13, 2017, pp. 1-6.
[ pdf ]

Kristina Gruber, Jakob Huemer, Armin Zimmermann, and Ralph Maschotta:
Integrated Description of Functional and Non-Functional Requirements for Automotive Systems Design Using SysML.
IEEE Int. Conf. on System Engineering and Technology (ICSET 2017), Shah Alam, Malaysia, October 2-3, 2017 (accepted for publication).

A. Zimmermann, Thomas Hotz, and Andres Canabal Lavista:
A Hybrid Multi-Trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets.
Quantitative Evaluation of Systems (QEST 2017) 14th Int. Conf., LNCS 10503, Berlin Germany, September 5-7, 2017, pp. 107-122.
[ pdf ]

A. Zimmermann:
Modelling and Performance Evaluation With TimeNET 4.4.
Quantitative Evaluation of Systems (QEST 2017) 14th Int. Conf., LNCS 10503, Berlin Germany, September 5-7, 2017, pp. 300-303.
[ pdf ]

Detlef Streitferdt, Armin Zimmermann, Jörg Schaffner and Michael Kallenbach:
Component-Wise Software Certification for Safety-Critical Embedded Devices.
8th IEEE Industrial Automation and Electromechanical Engineering Conference (IEMECON 2017), Bangkok, Thailand, August 16-18, 2017, pp. 175-180.

A. Wichmann, Francesco Bedini, Ralph Maschotta, and A. Zimmermann:
Deriving Architecture Design Variants for System Optimization from Design Space Descriptions Expressed Using a UML Profile.
International Symposium on Model-driven Approaches for Simulation Engineering (Mod4Sim 2017), part of SpringSim 2017, Virginia Beach, VA (USA), April 23-26, 2017, pages 707-718.
[ pdf ]

F. Bedini, R. Maschotta, A. Wichmann, and A. Zimmermann:
An fUML Extension Simplifying Executable UML Models Implemented for a C++ Execution Engine.
International Symposium on Model-driven Approaches for Simulation Engineering (Mod4Sim 2017), part of SpringSim 2017, Virginia Beach, VA (USA), April 23-26, 2017, pages 719-729.
[ pdf ]

Armin Zimmermann, Thomas Dietrich, Paulo Maciel and Andreas Hildebrandt:
Model-Based Dynamic Reliability Engineering for Hybrid Electric Vehicle Design.
IEEE 11th Int. Systems Conference (SysCon 2017), Montreal, April 2017, pp. 187-194.
[ pdf ]

Thomas Dietrich, Silvia Krug and Armin Zimmermann:
An Empirical Study on Generic Multicopter Energy Consumption Profiles.
IEEE 11th Int. Systems Conference (SysCon 2017), Montreal, April 2017, pp. 406-411.
[ pdf ]

Alexander Wichmann, Ralph Maschotta, Francesco Bedini, Sven Jäger, and Armin Zimmermann:
A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization.
Proc. 5th Int. Conf on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal, February 2017, pages 418-426
[ pdf ]

Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Sven Jäger, and Armin Zimmermann:
A Model-Driven fUML Execution Engine for C++.
Proc. 5th Int. Conf on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal, February 2017, ISBN 978-989-758-210-3, pages 443-450, DOI 10.5220/0006206904430450.
[ pdf ]

Armin Zimmermann and Paulo Maciel:
Dependability Evaluation of AFDX Real-Time Avionic Communication Networks.
22nd IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC 2017), Christchurch, New Zealand, January 22-25, 2017.
[ pdf ]

Sushma Nagaraj and Armin Zimmermann:
fDRIT - An Evaluation Tool for Transient Removal Methods in Discrete Event Stochastic Simulations.
Proc. 10th Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS 2016), Taormina, Italy, October 2016.
[ pdf ]

Ralph Maschotta, Sven Jäger, and Armin Zimmermann:
Teaching Model Driven Architecture with the Sirius Project.
European Conference of Software Engineering Education (ECSEE 2016), Seeon, Germany, June 30 - July 01 2016, ISBN 978-3-8440-4515-4, p. 143-156.
[ pdf ]

Sven Jäger, Ralph Maschotta, Tino Jungebloud, Alexander Wichmann, and Armin Zimmermann:
Model-Driven Development of Simulation-Based System Design Tools.
14th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA2016), Towson/Baltimore, MD, USA, June 8-10 2016, ISBN 978-1-5090-0809-4, p 209-2015.
[ pdf ]

Thomas Dietrich, Oleksandr Andryeeyev, Armin Zimmermann, and Andreas Mitschele-Thiel:
Towards a Unified Decentralized Swarm Management and Maintenance Coordination Based on MAVLink.
IEEE Int. Conf. on Autonomous Robot Systems and Competitions (ICARSC 2016), Braganca, Portugal, May 2016.

Alexander Wichmann, Sven Jäger, Tino Jungebloud, Ralph Maschotta, and Armin Zimmermann:
Specification and Execution of System Optimization Processes with UML Activity Diagrams.
10th IEEE Int. Systems Conference (SysCon 2016), Orlando, USA, April 2016. pp. 464-470.
[ pdf ]

Sven Jäger, Ralph Maschotta, Tino Jungebloud, Alexander Wichmann, and Armin Zimmermann:
Creation of Domain-Specific Languages for Executable System Models with the Eclipse Modeling Project.
10th IEEE Int. Systems Conference (SysCon 2016), Orlando, USA, April 2016. pp. 303-310.
[ pdf ]

Armin Zimmermann, Daniel Reijsbergen, Alexander Wichmann, and Andres Canabal Lavista:
Numerical Results for the Automated Rare Event Simulation of Stochastic Petri Nets.
11th Int. Workshop on Rare Event Simulation (RESIM 2016), Eindhoven, Netherlands, March/April 2016.
[ pdf ]

Sven Jäger, Ralph Maschotta, Tino Jungebloud, Alexander Wichmann, and Armin Zimmermann:
An EMF-like UML Generator for C++.
4th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2016), Rome, February 2016.
[ pdf ]

Reza Balaghiasefi, Michael Düring, Kai Franke and Armin Zimmermann:
Automatic Fault Detection and Execution Monitoring in Cooperative Maneuvering.
14th Int. Conf. on ITS Telecommunications (ITST 2015), Copenhagen, Denmark, December 2015.
[ pdf ]

A. Diarra, T. Hogenmüller, A. Zimmermann, A. Grzemba, U. A. Khan:
Improved Clock Synchronization Start-Up Time for Switched Ethernet-Based In-Vehicle Networks.
IEEE Int. Conf. on Emerging Technology & Factory Automation (ETFA 2015), Luxembourg, September 2015.
[ pdf ]

C. Bodenstein, T. Dietrich, A. Zimmermann:
Computationally Efficient Multiphase Heuristics for Simulation-Based Optimization.
5th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2015), Colmar, France, July 2015, pp. 95-100.
[ pdf ]

Armin Zimmermann und Andreas Hildebrandt:
Zuverlässigkeitsbewertung komplexer Systeme mit Stochastischen Petri-Netzen und TimeNET.
27. VDI-Fachtagung Technische Zuverlässigkeit (TTZ 2015), VDI Report 2260, Leonberg, May 2015, pp. 195-208.
[ pdf ]

Andreas Hildebrandt und Armin Zimmermann:
PFD-Berechnung mit stochastischen Petri-Netzen – Die „vergessene“ Methode.
safe.tech-Tagung des TÜV Süd, München, April 2015.

Alexander Wichmann, Sven Jäger, Tino Jungebloud, Ralph Maschotta, and Armin Zimmermann:
System Architecture Optimization With Runtime Reconfiguration of Simulation Models.
IEEE Int. Systems Conference (SysCon 2015), Vancouver, Canada, April 2015, pp. 660-667.
[ pdf ]

Aboubacar Diarra and Armin Zimmermann:
System Design Issues for Future In-vehicle Ethernet-Based Time- and Safety-Critical Networks.
IEEE Int. Systems Conference (SysCon 2015), Vancouver, Canada, April 2015, pp. 61-68.
[ pdf ]

Christoph Bodenstein and Armin Zimmermann:
Extending Design Space Optimization Heuristics for use with Stochastic Colored Petri Nets.
IEEE Int. Systems Conference (SysCon 2015), Vancouver, Canada, April 2015, pp. 139-144.
[ pdf ]

Christoph Bodenstein and Armin Zimmermann:
TimeNET Optimization Environment - Batch simulation and heuristic optimization of SCPNs with TimeNET 4.2.
8th Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014), Bratislava, Slovakia, December 2014.
[ pdf ]

Dmitriy Shorin and Armin Zimmermann:
Formal Description of an Approach for Power Consumption Estimation of Embedded Systems.
24th International Workshop on Power And Timing Modeling, Optimization and Simulation (PATMOS / VARI 2014), Palma de Mallorca, Spain, September 2014; ISBN 978-1-4799-5412-4.
[ pdf ]

Dmitriy Shorin and Armin Zimmermann:
Extending the Software Tool TimeNET by Power Consumption Estimation of UML MARTE Models.
Proc. 4th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), Vienna, Austria, August 2014; pp. 83-91, ISBN 978-989-758-038-3.
[ pdf ]

Suellen C Silva, Bruno Silva, Paulo Maciel, Armin Zimmermann:
Dependability Evaluation of Data Center Power Infrastructures Considering Substation Switching Operations.
12th Int. Probabilistic Safety Assessment and Management Conference (PSAM 12), Honolulu, USA, June 2014.
[ pdf ]

Bruno Silva, Paulo Maciel, Armin Zimmermann:
Survivability Evaluation of Disaster Tolerant Cloud Computing Systems.
12th Int. Probabilistic Safety Assessment and Management Conference (PSAM 12), Honolulu, USA, June 2014.
[ pdf ]

Armin Zimmermann, Sven Jäger and Fabien Geyer:
Towards Reliability Evaluation of AFDX Avionic Communication Systems With Rare-Event Simulation.
12th Int. Probabilistic Safety Assessment and Management Conference (PSAM 12), Honolulu, USA, June 2014.
[ pdf ]

Bruno Silva, Paulo Maciel, Jonathan Brilhante, and Armin Zimmermann:
GeoClouds Modcs: A Perfomability Evaluation Tool for Disaster Tolerant IaaS Clouds.
8th IEEE Int. Systems Conference (SysCon 2014), Ottawa, Canada, March/April 2014, pp. 116-122.
[ pdf ]

Sven Jäger, Armin Zimmermann, and Ralph Maschotta:
A Simulation-Based System Design Tool for Avionic Fiber-Optical Networks.
8th IEEE Int. Systems Conference (SysCon 2014), Ottawa, Canada, March/April 2014, pp. 330-336.
[ pdf ]

Armin Zimmermann:
Reliability Modelling and Evaluation of Dynamic Systems With Stochastic Petri Nets (Tutorial).
7th Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), December 10–12, 2013, Torino, Italy.
[ pdf ]

Bruno Silva, Paulo Maciel, Armin Zimmermann:
Performability Models for Designing Disaster Tolerant Infrastructure-as-a-Service Cloud Computing Systems.
Proc. 8th Int. Conf. for Internet Technology and Secured Transactions (ICITST-2013), London, December 9-12, 2013.
[ pdf ]

Thomas Dietrich, Ralph Maschotta and Armin Zimmermann:
Multi-UAV Node Placement Strategies for Meshed Field Coverage.
The Tenth International Symposium on Wireless Communication (ISWCS‘13), Ilmenau, Germany, 27-30 August 2013.
[ pdf ]

Bruno Silva, Paulo Maciel, Eduardo Tavares, Armin Zimmermann:
Dependability Models for Designing Disaster Tolerant Cloud Computing Systems.
Proc. 3rd Int. Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV-2013) at the
43rd IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2013), Budapest, Hungary, June 2013, pp. 1-6.
[ pdf ]

H. White, N. Brownjohn, J. Baptista, V. Foucal, H. Salgado, A. Clausen, T. Pistner, M. Farries, S. Gauchy, I. Kopacek, A. Lee, B. Napier, M. Traversone, J. Vincent und A. Zimmermann:
Developing aircraft photonic networks for airplane systems.
Proc. SPIE 8720, Photonic Applications for Aerospace, Commercial, and Harsh Environments IV , Mai 2013, S. 1-10.

Dmitriy Shorin and Armin Zimmermann:
Evaluation of embedded system energy usage with extended UML models.
Softwaretechnik-Trends, 33(2), 2013. 2nd Workshop Energy Aware Software-Engineering and Development (EASED@BUIS), 25.04.2013, Oldenburg, Germany.
[ pdf , pdf ]

Ralph Maschotta, Sven Jäger, Tino Jungebloud, and Armin Zimmermann:
A Framework for Agile Development of Simulation-Based System Design Tools.
2013 IEEE International SYSTEMS CONFERENCE (SYSCON 2013), April 15–18, 2013, Orlando, Florida USA.
[ pdf ]

Sven Jäger, Tino Jungebloud, Ralph Maschotta, and Armin Zimmermann:
Model-Based QoS Evaluation for Embedded Wireless Sensor Networks.
2013 IEEE International SYSTEMS CONFERENCE (SYSCON 2013), April 15–18, 2013, Orlando, Florida USA.
[ pdf ]

Tino Jungebloud, Sven Jäger, Ralph Maschotta, and Armin Zimmermann:
MOF Compliant Fundamentals for Multi-Domain System Modeling and Simulation.
2013 IEEE International SYSTEMS CONFERENCE (SYSCON 2013), April 15–18, 2013, Orlando, Florida USA.
[ pdf ]

Armin Zimmermann:
Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1 .
6th Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012) , October 9–12, 2012, Cargèse, France, pp. 1-10.
[ pdf ]

Dmitriy Shorin, Armin Zimmermann, and Paulo Maciel:
Transforming UML State Machines into Stochastic Petri Nets for Energy Consumption Estimation of Embedded Systems.
2nd IFIP Conf. on Sustainable Internet and ICT for Sustainability (SustainIT 2012), October 2012, Pisa, Italy.

[ pdf ]

Karin Schulze, Miguel Caldeira, João Filipe Baptista, and Armin Zimmermann:
Model-Based Design and Evaluation of Fault-Tolerant Fibre-Optical Networks for Avionics.
11th Int. Probabilistic Safety Assessment & Management Conference / European Safety & Reliability Conference (PSAM11 & ESREL 2012), Helsinki, Finland, June 2012.
[ pdf ]

Armin Zimmermann and Paulo Maciel:
Importance Function Derivation for RESTART Simulations of Petri Nets.
9th Int. Workshop on Rare Event Simulation (RESIM 2012),pp. 8-15, NTNU Trondheim, Norway, June 2012.
[ pdf ]

Christoph Bodenstein and Armin Zimmermann:
Model-Based Development of a Real-Time CAN Software Layer.
SAE 2012 World Congress & Exhibition, April 2012, Detroit, MI, USA.
[pdf ]

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.
[ pdf ]

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 ]

H. Schweppe; A. Zimmermann; D. Grill:
Flexible In-Vehicle Stream Processing with Distributed Automotive Control Units for Engineering and Diagnosis.
3rd IEEE Int. Symposium on Industrial Embedded Systems (SIES 2008) Montpellier, France, pp. 74-81, June 2008.
[ 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; M. Knoke; S.-T. Yee; J. D. Tew:
Model-Based Performance Engineering of General Motors’ Vehicle Supply Chain.
IEEE Int. Conf. on Systems, Man and Cybernetics (SMC 2007) October 2007, Montreal; pp. 1415-1420.
[ 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.

J. Siegeris; A. Zimmermann:
Workflow Model Compositions Preserving Relaxed Soundness.
4th Int. Conf. on Business Process Management (BPM 2006) September 2006, Vienna; Springer LNCS 4102, pp. 177-192. (Springer link)
[ pdf ]

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; J. Trowitzsch:
Eine Quantitative Untersuchung des European Train Control System mit UML State Machines.
Proc. Conf. Entwurf komplexer Automatisierungssysteme (EKA 2006), May 2006, Braunschweig, Germany; pp 283-304 (in german).
[ pdf ]

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 ]

A. Zimmermann; M. Knoke; A. Huck; G. Hommel:
Towards Version 4.0 of TimeNET.
13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2006) March 2006, Nürnberg, Germany, pp. 477-480.
[ 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 ]

J. Dehnert; A. Zimmermann:
On the suitability of correctness criteria for business process models.
Proc. 3rd Int. Conf. on Business Process Management (BPM 2005) Nancy, France, September 2005, pp. 386-391.
[ pdf ]

M. Knoke; F. Kühling; A. Zimmermann; G. Hommel.
Performance of a Distributed Simulation of Timed Colored Petri Nets with Fine-Grained Partitioning.
Design, Analysis, and Simulation of Distributed Systems Symposium, (DASD 2005), San Diego, USA, April 2005, pp. 63-71.
[ pdf ]

J. Trowitzsch; A. Zimmermann; G. Hommel:
Towards Quantitative Analysis of Real-Time UML using Stochastic Petri Nets.
13th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS05) Denver, Colorado, April 2005.
[ 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 ]

D. Rodriguez; A. Zimmermann; M. Silva:
Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems.
Proc. Int. Conf. Systems, Man and Cybernetics (SMC2004), pp. 1686-1692, The Hague, Netherlands, October 2004.
[ 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 ]

A. Zimmermann; G. Hommel:
A Train Control System Case Study in Model-Based Real Time System Design.
11th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS03) Nice, France, April 2003.
[ 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.

A. Zimmermann; J. Freiheit; G. Hommel:
Discrete Time Stochastic Petri Nets for Modeling and Evaluation of Real-Time Systems.
Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS01, invited paper), San Francisco, April 23-24, 2001.
[ pdf ]

A. Zimmermann; D. Rodriguez; M. Silva:
Ein effizientes Optimierungsverfahren für Petri-Netz-Modelle von Fertigungssystemen.
Engineering komplexer Automatisierungssysteme (EKA 2001) Braunschweig, April 25-27, 2001, pp. 133-151 (in german).
[ pdf ]

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 ]

J. Dehnert; J. Freiheit; A. Zimmermann:
Modeling and Performance Evaluation of Workflow Systems.
Proc. 4th. World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), Orlando, 2000, Vol. VIII pp. 632 - 637.
[ pdf ]

A. Zimmermann; J. Freiheit:
Tool Support for Model-Based Online Control of Manufacturing Systems.
Proc. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2000), Orlando, 2000, Vol. VIII pp. 695 - 700.
[ 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.

A. Zimmermann; H. Westphal; S. Gramlich:
Colored Petri Nets for the Performance Evaluation of a Semiconductor Fabrication Facility.
7th Int. IEEE Conf. on Emerging Technologies and Factory Automation (ETFA'99), Barcelona, 1999, pp. 1071 - 1080.
[ pdf ]

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; R. German; J. Freiheit; G. Hommel:
TimeNET 3.0 Tool Description.
Int. Conf. on Petri Nets and Performance Models (PNPM 99), Zaragoza, Spain, 1999 (tool descriptions).
[ pdf ]

A. Zimmermann; D. Rodriguez; M. Silva:
Modelling and Optimisation of Manufacturing Systems: Petri Nets and Simulated Annealing.
European Control Conference (ECC'99), Karlsruhe, 1999.
[ pdf ]

A. Zimmermann; J. Freiheit; G. Hommel:
Fertigungssysteme Modellieren, Bewerten und Steuern mit TimeNETMS.
E. Schnieder (Ed.), 6. Fachtagung Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA'99), Braunschweig, 1999, pp. 31-48 (in german).
[ pdf ]

J. Freiheit; A. Zimmermann:
Extending a Response Time Approximation Technique to Colored Stochastic Petri Nets.
4th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 4), September 4-6, 1998, College of William and Mary, Williamsburg, VA, USA, pp. 67-71.
[ pdf ]

A. Zimmermann; J. Freiheit:
TimeNETMS - An Integrated Modeling and Performance Evaluation Tool for Manufacturing Systems.
IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC '98), San Diego, USA 1998, pp. 535-540.
[ pdf ]

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.