From 6acf2ac777627005227c787d41ece4348c5090b5 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Tue, 24 Mar 2026 11:47:42 -0600 Subject: [PATCH] Close #31 --- tools/mc/tina.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 tools/mc/tina.md diff --git a/tools/mc/tina.md b/tools/mc/tina.md new file mode 100644 index 0000000..02b7c99 --- /dev/null +++ b/tools/mc/tina.md @@ -0,0 +1,18 @@ ++++ +title = 'TINA' +subtitle = 'Petri Net Toolbox' +links = [ + { title = "Homepage", url = "http://www.eecs.berkeley.edu/~alanmi/abc/", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/berkeley-abc/abc", icon = 'fa-solid fa-code' }, +] +applications = ["Petri Nets"] +developers = [] +licenses = ["All Rights Reserved"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Actively Maintained"] +draft = false +date = 2025-08-22 ++++ + +TINA (TIme petri Net Analyzer) is a toolbox for the editing and analysis of Petri Nets, with possibly inhibitor and read arcs, Time Petri Nets, with possibly priorities and stopwatches, and an extension of Time Petri Nets with data handling called Time Transition Systems. TINA has been developed in the OLC, then VerTICS, research groups of LAAS/CNRS. General Petri nets information can be found on the Petri Nets World site. \ No newline at end of file