TIme petri Net Analyzer

 

• Home
• News
• Download
• Docs
• Friends
• Contacts
• Tina
• Fiacre

(In progress) This page gathers TINA related material, including use cases, models in the TINA formats, etc contributed by users, and organized by contributors.

Contributing

If you wish your contribute material, please submit us urls for inclusion in this page.

a suggested html file for model descriptions

Contributed by Dmitry Zaitsev (home page)

Models of networking protocols TCP, IOTP, BGP; square grids and hypercube; arithmetic operations

Generators of Petri net models of a square grid with the following edge conditions: open edges, plugs on edges, truncated devices on edges

Generator of hypertorus Petri net models

Generators of canvas for Petri net models of hypertorus (hypercube) grid with Moore's, von-Neumann's, and generalized neighborhoods

Generator of Petri nets which count double exponent 2^2^k after R.J.Lipton & J.Esparza constructs