Technische Universität Berlin
Department of Computer Science
Real-Time Systems and Robotics

Research Group

Model-Based Evaluation of Discrete Real-Time Systems

Research Activities

• Performance and dependability modeling using non-Markovian stochastic Petri nets
• Colored Stochastic Petri Nets
• Numerical analysis methods for non-Markovian Petri net models
• Approximate analysis techniques for system with large state space
• Analysis of Petri nets with discrete timing
• Fast simulation techniques (rare events, distributed simulation)
• Tool support (TimeNET)
• Application areas:
  • communication systems
  • computer architectures
  • supply chains
  • manufacturing systems
  • workflow
  • real-time systems
  • safety-critical applications

Group Members (Staff)

• Dr.-Ing. Armin Zimmermann (Head)
• Dipl. Ing. Jan Trowitzsch
• Dipl. Ing. Alexander Huck
• Dipl. Ing. Michael Knoke

Projects

• TimeNET: software tool for the modeling and performance evaluation of complex systems with timed Petri nets
  contact Armin Zimmermann

• Approximate Numerical Performance Evaluation of Large Stochastic Petri Nets
  contact Alexander Huck

• Quantitative Analysis of UML models with stochastic Petri nets
  contact Jan Trowitzsch
  (Graduate College Stochastic Modelling and Quantitative Analysis of Complex Systems in Engineering)

• Distributed Simulation of Colored Stochastic Petri Nets on a PC Cluster
  contact Michael Knoke

• Modelling and evaluation of the supply chain operation of a major U.S. car manufacturer
  (cooperation with Prof. Peter Glynn, Stanford Univ.)
  contact Armin Zimmermann

• Fast Optimization Techniques for Stochastic Petri-Net Models
  (cooperation with Prof. Manuel Silva, Univ. Zaragoza, Spain)
  contact Armin Zimmermann

• POPP-Project (finished): Modeling and performance evaluation of manufacturing systems with timed and colored Petri nets
  (funded by the German Research Council, DFG)
  contact Armin Zimmermann

Recent Publications