Login / Signup

Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation.

Thomas AicherSebastian RehbergerBirgit Vogel-Heuser
Published in: CASE (2015)
Keyphrases
  • production system
  • high level
  • lower bound
  • computational model
  • mathematical model
  • multistage
  • object models
  • discrete event
  • control structure
  • discrete event simulation