Your download will start in a few seconds. If it does not, click here.

Would you like to receive notifications about TINA updates by email?
View your Download Basket and register for free here.
TINA has been added to your Download Basket.

TINA, developed by Bernard Berthomieu and François Vernadat, is a powerful tool for modeling and analyzing systems using Petri nets and process algebra. Its intuitive interface allows users to create complex models effortlessly, while its robust analysis features provide insights into system behavior and performance. TINA supports various verification techniques, making it ideal for both academic research and industrial applications. With its versatility and depth, TINA stands out as a go-to so ...

« BACK