Index of /trunk/examples/Automata/regression/pn

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[DIR] operations/                          2023-06-10 09:32    -   
[DIR] traceAbstraction/                    2018-07-25 08:20    -   
[TXT] DeadPlaces-InitialAccepting.ats      2018-07-25 08:20  562   
[TXT] EmptyInitialMarking.ats              2018-07-19 10:58  304   
[TXT] EmptyNet.ats                         2018-08-14 09:00  294   
[TXT] NoAcceptingPlaces.ats                2018-07-25 08:20  336   
[TXT] NoTransitions.ats                    2018-07-25 08:20  291   
[TXT] Se7en.ats                            2018-05-29 20:16  781   
[TXT] SuccessorlessTransition.ats          2018-08-10 15:41  341