Prof. Armin Zimmermann - Veröffentlichungen

Die Nutzung der referenzierten Dokumente ist nur für den internen Gebrauch an unserer Universität erlaubt.
Sollten Sie die Dokumente anderweitig benötigen, wenden Sie sich bitte an eventuelle Rechteinhaber.

Christian Ebner, Kirill Gorelik, and Armin Zimmermann:
Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications.
in IEEE Systems Journal, Volume 17, Issue 4, Pages 5357-5368, December 2023, Print ISSN 1932-8184, Online ISSN 1937-9234.
[ DOI ]

Hammer, M., Maschotta, R., Wichmann, A., Jungebloud, T., Bedini, F., Zimmermann, A.:
PSCS4CPP: A Generative PSCS Implementation for C++.
In: Pires, L.F., Hammoudi, S., Seidewitz, E. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2021, MODELSWARD 2022. Part of the Communications in Computer and Information Science book series (CCIS, volume 1708). Springer, Cham, August 2023.
[ DOI ]

Ralph Maschotta, Ndongmo Silatsa, Tino Jungebloud, Maximilian Hammer und Armin Zimmermann:
An OCL Implementation for Model-Driven Engineering of C++.
In: Lee, R. (eds) Software Engineering Research, Management and Applications. Part of the book series: Studies in Computational Intelligence, Springer, outcome of SERA 2022: International Conference on Software Engineering Research and Applications, May 25-27, 2022, Las Vegas, USA, ISBN: 978-3-031-09144-5.

Aleksandra Fedorova, Viktar Beliautsou and Armin Zimmermann:
Colored Petri Net Modelling and Evaluation of Drone Inspection Methods for Distribution Networks.
Sensors 2022, 3418 (Special Issue "Multi-Unmanned Aerial Vehicle for Autonomous Transportation"), 29. April 2022.
[ pdf ]

Ricardo J. Rodríguez, Simona Bernardi, and Armin Zimmermann:
An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques.
IEEE Transactions on Systems, Man, and Cybernetics: Systems, August 2020. Volume 50, Issue 8, Pages 2834-2844, Print ISSN 2168-2216.
[ DOI ]

Armin Zimmermann and Thomas Hotz:
Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets.
ACM Transactions on Modeling and Computer Simulation (TOMACS), Vol. 29 Issue 4, Nov. 2019.

Sushma Nagaraj and Armin Zimmermann:
A Software Tool for the Evaluation of Transient Removal Methods in Discrete Event Stochastic Simulations.
In: A. Puliafito, K. S. Trivedi (Eds.), Systems Modeling: Methodologies and Tools. EAI/Springer Innovations in Communication and Computing, pp. 279-293, 2018.
[ DOI ]

Bruno Silva, Eduardo Tavares, Rubens Matos, Paulo Maciel, and Armin Zimmermann:
Sensitivity Analysis of an Availability Model for Disaster Tolerant Cloud Computing System.
Int. Journal of Network Management, Issue 6, Vol. 28.
[ DOI ]

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).
[ DOI ]

Jäger, 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.
[ DOI, 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. 
[ DOI ]

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

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

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

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 ]

F. Bedini, T. Räth, R. Maschotta, KU. Sattler, and A. Zimmermann:
Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets.
Systems Conference 2024 (SysCon 2024), Montréal, Canada, Apr 2024.

F. Bedini, T. Jungebloud, R. Maschotta, and A. Zimmermann:
An Analysis and Simulation Framework for Systems with Classification Components.
in 12th International Conference on Model-Based Software and Systems Engineering (Modelsward 2024), Rome, Italy, Feb 2024.

Armin Zimmermann:
Reliability Design of Complex Systems - Modeling and Efficient Simulation (Tutorial).
IEEE Int. Conf. on Recent Advances in Systems Science and Engineering (RASSE 2023), Kerala, India, November 2023.
[ pdf ]

N. Bodenschatz, M. Eider, D. Kratschmer, A. Berl and A. Zimmermann:
Battery-friendly charging process scheduling of electric vehicle fleets at company sites.
3rd Int. Conf. on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME’23), Santa Cruz de Tenerife, Spain, July 2023.

T. Räth, F. Bedini, K. Sattler, A. Zimmermann:
Demo: Interactive Performance Exploration of Stream Processing Applications Using Colored Petri Nets.
17th ACM Int. Conf. on Distributed and Event-based Systems (DEBS 2023), Neuchatel, Switzerland June 2023.
[ DOI ]

T. Jungebloud, N. Nguyen, D.-S. Kim, and A. Zimmermann:
Hierarchical Model-Based Cybersecurity Risk Assessment During System Design.
38th Int. Conf. on ICT Systems Security and Privacy Protection (IFIP SEC 2023), Poznan Poland, June 2023.

Sascha Schmidt and Armin Zimmermann:
Model-Based Reliability Engineering of Automotive Drivetrain Architectures With Multi-Trajectory Simulation.
16th Probabilistic Safety Assessment & Management 2022 (PSAM16), July 2022, Honolulu, USA.
[ pdf ]

A. Zimmermann, T. Hotz, V. Hädicke, and M. Friebe:
Analysis of Safety-Critical Cloud Architectures with Multi-Trajectory Simulation.
68th Reliability & Maintainability Symposium (RAMS 2022), January 2022, Tucson, Arizona.
[ DOI, pdf ]

Ralph Maschotta, Maximilian Hammer, Mehreen Khan and Armin Zimmermann:
Model-Driven Aspect-Specific Systems Engineering in the Automotive Domain.
IEEE International Conference on Recent Advances in Systems Science and Engineering (RASSE 2021), Shanghai, China, December 2021.

Maximilian Hammer, Ralph Maschotta and Armin Zimmermann:
Model-Driven Application Development for Evaluation and Optimization of Automotive E/E-Architectures.
IEEE International Conference on Recent Advances in Systems Science and Engineering (RASSE 2021), Shanghai, China, December 2021, pp. 1-8.
[ DOI ]

Christian Ebner, Kirill Gorelik and Armin Zimmermann:
Model-Based Design Space Exploration for Fail-Operational Mechatronic Systems.
7th IEEE Int. Symposium on Systems Engineering (ISSE 2021), Wien / virtual, September 2021.
[ DOI ]

Christian Ebner, Kirill Gorelik and Armin Zimmermann:
Automated Dynamic Safety Evaluation of Generic Fail-Operational Mechatronic Systems.
6th European Conf. of the Prognostics and Health Management Society (phme21), June 2021.

Francesco Bedini, Ralph Maschotta, and Armin Zimmermann:
A generative Approach for creating Eclipse Sirius Editors for generic Systems.
15th Annual IEEE International Systems Conference (SYSCON2021), April 15 - May 15, 2021, Virtual Conference.

Maximilian Hammer, Ralph Maschotta, Alexander Wichmann, Tino Jungebloud, Francesco Bedini and Armin Zimmermann:
A Model-Driven Implementation of PSCS Specification for C++.
In Proceedings of the 9th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2021), February 2021, ISBN 978-989-758-487-9 ISSN 2184-4348, pages 100-109.
[ DOI ]

Christian Ebner, Kirill Gorelik and Armin Zimmermann:
Optimization of Fail-Operational Vehicle Traction Battery System Design.
6th IEEE Int. Symposium on Systems Engineering (ISSE 2020), October 2020, Vienna Austria.

Christian Ebner, Kirill Gorelik, and Armin Zimmermann:
Model-Based Dependability Analysis of Fail-Operational Electric Drivetrains.
IEEE/ASME Int. Conf. on Advanced Intelligent Mechatronics (AIM 2020), Boston, July 2020.

Thomas Hotz and Armin Zimmermann:
A Multi-Trajectory Approach to Rare-Event Simulation.
13th Int. Workshop on Rare-Event Simulation (RESIM 2020), Paris 2020.

Julio Mendonca, Jin-Hee Cho, Terrence J. Moore, Frederica F. Nelson, Hyuk Lim, Armin Zimmermann, and Dong Seong Kim:
Performability Analysis of Services in a Software-Defined Networking adopting Time-Based Moving Target Defense Mechanisms.
35th ACM/SIGAPP Symposium On Applied Computing (SAC2020), Brno, Czech Republic, March/April 2020.

Thomas Hotz and Armin Zimmermann:
Analysing Markov chains using random measures.
32nd European Meeting of Statisticians (EMS2019), Palermo, July 2019.

Alexander Wichmann, Ralph Maschotta, Francesco Bedini and Armin Zimmermann:
Model-Driven Development of UML-Based Domain-Specific Languages for System Architecture Variants.
13th IEEE Int. Systems Conference (SysCon 2019), Orlando, April 2019.

Ralph Maschotta, Alexander Wichmann, Kristina Gruber and Armin Zimmermann:
Integrated Automotive Requirements Engineering With a SysML-Based Domain-Specific Language.
IEEE International Conference on Mechatronics (ICM2019), Ilmenau, Germany, March 18-20, 2019.
[ pdf ]

Francesco Bedini, Ralph Maschotta, Alexander Wichmann, and Armin Zimmermann:
Towards Automated fUML Model Verification with Petri Nets.
7th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prague, February 2019.

Detlef Streitferdt, Armin Zimmermann, Jörg Schaffner and Michael Kallenbach:
Complete Component-Wise Software Certification for Safety-Critical Embedded Devices.
9th IEEE Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON 2018), Vancouver, November 2018.

Kristina Gruber, Jakob Huemer, Armin Zimmermann, Ralph Maschotta:
Automotive Requirements Validation and Traceability Analysis With AQL Queries.
4th IEEE Int. Symposium on Systems Engineering (ISSE 2018), Rome, Italy, October 1-3, 2018.

Armin Zimmermann:
Reliability Modeling and Simulation of Complex Dynamic Discrete-Event Systems (Tutorial).
16th Industrial Simulation Conference (ISC'2018), Ponta Delgada, Azores, Portugal, June 6-8, 2018.
[ pdf ]

Armin Zimmermann, Ralph Maschotta, Alexander Wichmann, and Robert Hilbrich:
Optimization of Systems With Nested Design Space.
IEEE 12th Int. Systems Conference (SysCon 2018), Vancouver, Canada, April 23-26, 2018.
[ DOI, pdf ]

Alexander Wichmann, Ralph Maschotta, Francesco Bedini, and Armin Zimmermann:
A Workflow for the Design of Optimized System Architectures Using Model-Driven Optimization.
Int. Symposium on Model-driven Approaches for Simulation Engineering (Mod4Sim 2018), part of SpringSim 2018, Baltimore, MD (USA), April 15-18, 2018, ISBN 978-1-5108-6018-6.

Francesco Bedini, Ralph Maschotta, Alexander Wichmann, and Armin Zimmermann:
Improving the fUML Performance for C++ following a Model-Driven approach.
Int. Symposium on Model-driven Approaches for Simulation Engineering (Mod4Sim 2018), part of SpringSim 2018, Baltimore, MD (USA), April 15-18, 2018, ISBN: 978-1-5108-6018-6.

Thomas Hotz and Armin Zimmermann:
Analysing Markov chains using random measures.
13th German Probability and Statistics Days (GPSD 2018), Freiburg, Germany, February/March 2018.

Francesco Bedini, Ralph Maschotta, Alexander Wichmann, and Armin Zimmermann:
A C++ Implementation of UML Subsets and Unions for MDE.
In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal, Madeira, Portugal, Januar 22-24, 2018, ISBN 978-989-758-283-7, pages 464-471.
[ DOI, pdf ]

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.
[ 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.
[ 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.
[ DOI,  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, pp. 27-31.
[ DOI ]

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.
[ DOI, 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.
[ DOI, 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.
[ DOI ]

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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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-215.
[ DOI, 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.
[ DOI ]

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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI ]

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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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.
[ DOI ]

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

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

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

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

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

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.
[ DOI, 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.
[ DOI, 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.
[ DOI, 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 TimeNET_MS.
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:
TimeNET_MS - 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 ]

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).

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)

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.