Index of /trunk/examples/Automata

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[DIR] atsTestFiles/           2017-11-16 06:20    -   
[DIR] benchmarks/             2018-07-30 14:12    -   
[DIR] finiteAutomata/         2017-11-16 06:20    -   
[DIR] nwa/                    2017-11-16 06:20    -   
[DIR] PetriNet/               2021-02-19 15:38    -   
[DIR] regression/             2023-06-01 16:08    -   
[DIR] senwa/                  2015-10-08 03:44    -   
[DIR] syntaxError/            2017-11-16 06:20    -   
[DIR] website/                2017-12-04 11:47    -   
[   ] fat2ats.sh              2015-10-08 03:44  1.7K  
[TXT] unfoldingtest.ats       2015-10-08 03:44  1.1K