The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

By B. Berthomieu, Pierre-Olivier Ribet, F. Vernadat. 2004

516 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/5f9df783030b34d4e6b3e5dd1065af4b1faa8bdd

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Jiri Srba

Citations in the corpus

• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (2008, methodology): “There are available a few public verification tools like TINA [22] and ROMEO [81].”