Recovering model invariants from simulation traces with Petri net analysis techniques

  • Peter Kemper
  • Published 2009 in
    Proceedings of the 2009 Winter Simulation…


Modern modeling frameworks allow us to generate and simulate discrete event system models of great complexity. The use of existing environments, and the use, calibration, and configuration of existing submodels to build large models in a productive manner can rise the question what really happens in a simulation run for a particular experiment. In this… (More)

5 Figures and Tables


  • Presentations referencing similar topics