About Time Petri Net Analyzer (TINA)

edit

Shouldn't there a disambiguation page or at least a notice to differentiate this circuit-oriented simulator from the Time Petri Net Analyzer, TINA:

The TINA toolbox Home Page - TIme petri Net Analyzer - by LAAS/CNRS http://projects.laas.fr/tina/