Tina Version 2.5.2


What is Tina ?

Tina is a toolbox for the analysis of Petri Nets and Time Petri Nets. At that time, it includes the tools:

nd (NetDraw): Time Petri net and Automata editor. Includes interfaces for analysis tools below and drawing facilities.

tina: Construction of reachability graphs. Inputs nets in textual or graphical format. Outputs graphs in textual form or Aldebaran automata format. Depending on options retained, builds (references below):

struct: Structural analysis of Petri nets (preliminary).

References


CNRS LAAS OLC Group Bernard's Home Page
Last updated: Tue Apr 30 16:02:12 CEST 2002