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 ]

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.gz ]

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 ]

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 (accepted for publication).

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 (accepted for publication).

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 (accepted for publication).

A. Zimmermann:
Dependability Evaluation of Complex Systems With TimeNET.
Proc. Int. Workshop on Dynamic Aspects in Dependability Models for Fault-Tolerant Systems (DYADEM-FTS 2010), Valencia, Spain, April 2010 (accepted for publication).

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 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: 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.gz ]

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; 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.gz ]

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.gz ]

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, more information ]

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)
[ abstract ]

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.gz ]

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.