Verification of timed chi models using uppaal

@inproceedings{Bortnik2005VerificationOT,
  title={Verification of timed chi models using uppaal},
  author={Elena M. Bortnik and Dirk A. van Beek and J. M. van de Mortel-Fronczak and J. E. Rooda},
  booktitle={ICINCO},
  year={2005}
}
Due to increasing system complexity and growing competition and costs, powerful techniques are needed to design and analyze manufacturing systems. One of the most popular techniques to do performance analysis is simulation. However, simulation-based analysis cannot guarantee the correctness of a system. Our research focuses on examining other methods to make performance analysis and functional analysis, and combining the two. One of the approaches is to translate a simulation model that is used… CONTINUE READING