(In progress) This page gathers TINA related material, including use cases, models in the TINA formats, etc contributed by users, and organized by contributors.
If you wish your contribute material, please submit us urls for inclusion in this page.
Contributed by Dmitry Zaitsev (home page)
Generators of Petri net models of a square grid with the following edge conditions: open edges, plugs on edges, truncated devices on edges
Generators of canvas for Petri net models of hypertorus (hypercube) grid with Moore's, von-Neumann's, and generalized neighborhoods