Index of /trunk/examples/settings/AutomataScript

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[DIR] buchiComplementation/                         2017-11-16 06:20    -   
[DIR] buchiIsIncluded/                              2017-11-16 06:20    -   
[DIR] differencePetriNwa/                           2018-08-10 15:41    -   
[   ] default.epf                                   2017-11-16 06:20  389   
[   ] finitePrefix.epf                              2018-07-25 08:20  504   
[   ] finitePrefix2PetriNet.epf                     2021-02-19 15:38  527   
[   ] finitePrefix2PetriNetB.epf                    2021-02-19 15:38  541   
[   ] minimizeNwaPmaxSatDimacs.epf                  2016-10-27 13:16  531   
[   ] minimizeNwaPmaxSatDirect.epf                  2018-06-12 15:51  535   
[   ] minimizeNwaPmaxSatDirectBi.epf                2018-06-12 15:51  537   
[   ] minimizeSevpa.epf                             2016-09-06 13:51  523   
[   ] petriRemoveDead.epf                           2018-08-28 16:01  502   
[   ] petriRemoveDeadUnreachable.epf                2018-08-28 16:01  521   
[   ] petriRemoveUnreachable.epf                    2018-08-28 16:01  509   
[   ] petriRemoveUnreachableDead.epf                2018-08-28 16:01  521   
[   ] reduceNwaDelayedFullMultipebbleSimulation.epf 2017-11-16 06:20  552   
[   ] reduceNwaDelayedSimulation.epf                2016-10-06 09:20  536   
[   ] reduceNwaDelayedSimulationB.epf               2016-10-06 09:20  537   
[   ] reduceNwaDirectFullMultipebbleSimulation.epf  2017-11-16 06:20  551   
[   ] reduceNwaDirectSimulation.epf                 2016-10-06 09:20  535   
[   ] reduceNwaDirectSimulationB.epf                2016-10-06 09:20  536   
[   ] removeDead.epf                                2021-02-19 15:38  502   
[   ] removeDeadEnds.epf                            2017-11-16 06:20  506   
[   ] removeNonLiveStates.epf                       2017-11-16 06:20  511   
[   ] removeRedundantFlow.epf                       2021-02-19 15:38  511   
[   ] removeUnreachable.epf                         2017-11-16 06:20  509   
[   ] shrinkNwa.epf                                 2016-09-06 13:51  519