tina logo

TIme petri
Net Analyzer

laas logo
(Please contact us if you think your software or models should be mentioned here).

Softwares that import or export into tina formats (.net or .ndr):

Contributions:

Companion tools:

Implementation: