Quelques publications sont citées ci-dessous :
B. Berthomieu, F. Vernadat, Time Petri Nets Analysis with TINA, tool paper, In Proceedings of 3rd Int. Conf. on The Quantitative Evaluation of Systems (QEST 2006), IEEE Computer Society, 2006.
B. Berthomieu, F. Peres, F. Vernadat, Bridging the gap between Timed Automata and Bounded Time Petri Nets, In Proceedings of FORMATS 2006. Springer Verlag, LNCS 4202, 2006.
B. Berthomieu, F. Peres, F. Vernadat, Model-checking Bounded Prioriterized Time Petri Nets, In Proceedings of ATVA 2007. Springer Verlag, LNCS 4762, 2007.
Une bibliographie plus complète est disponible ici : http://homepages.laas.fr/bernard/tina/papers.php