@inproceedings{berthomieu_vernadat_2006, 
  title={Time Petri Nets Analysis with TINA}, 
  DOI={10.1109/qest.2006.56}, 
  publisher={IEEE}, 
  author={Berthomieu and Vernadat}, 
  year={2006}
  }