Author: hw138
Date: Mon Nov 8 14:22:47 2010
New Revision: 6345
URL: http://svn.gna.org/viewcvs/service-tech?rev=6345&view=rev
Log:
* Anastasia: Analyzer for Siphons and Traps in arbitrary nets
- computes siphons, traps, and combinations like
siphons not containing (marked) traps
- allows user-defined formulae (external files)
- allows to in- and exclude places explicitly
- allows to minimize/maximize the result
- can compute covering sets such that each place is
contained in at least one result (if possible)
- can compute witness paths for non-liveness in FC-nets
Added:
trunk/anastasia/
trunk/anastasia/AUTHORS
trunk/anastasia/COPYING
trunk/anastasia/ChangeLog
trunk/anastasia/Makefile.am
trunk/anastasia/NEWS
trunk/anastasia/README
trunk/anastasia/REQUIREMENTS
trunk/anastasia/THANKS
trunk/anastasia/THEORY
trunk/anastasia/configure.ac
trunk/anastasia/doc/
trunk/anastasia/doc/ChangeLog.texi
trunk/anastasia/doc/Doxyfile.in
trunk/anastasia/doc/Makefile.am
trunk/anastasia/doc/anastasia.texi
trunk/anastasia/doc/fdl.texi
trunk/anastasia/examplenets/
trunk/anastasia/examplenets/data1010.llnet
trunk/anastasia/examplenets/data1212.llnet
trunk/anastasia/examplenets/data1515.llnet
trunk/anastasia/examplenets/phils10.llnet
trunk/anastasia/examplenets/phils100.llnet
trunk/anastasia/examplenets/phils150.llnet
trunk/anastasia/examplenets/phils20.llnet
trunk/anastasia/examplenets/phils200.llnet
trunk/anastasia/examplenets/phils50.llnet
trunk/anastasia/libs/
trunk/anastasia/libs/lp_solve/
trunk/anastasia/libs/lp_solve/Makefile.am
trunk/anastasia/libs/lp_solve/README.txt
trunk/anastasia/libs/lp_solve/bfp/
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/Afile3.txt
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/LUSOL-overview.txt
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/LUSOL_LGPL.txt
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/LUSOL_Overview.txt
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/LUSOL_README.txt
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/Row-based L0.txt
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/Victoria1850.RUA
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/bfile3.txt
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/commonlib.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/commonlib.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol2.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6l0.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6u.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusol8a.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/myblas.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/myblas.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/sherman5.mtx
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/sherman5_rhs1.mtx
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/bfp_LUSOL.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/bfp_LUSOL.h
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c
trunk/anastasia/libs/lp_solve/bfp/bfp_LUSOL/lp_LUSOL.h
trunk/anastasia/libs/lp_solve/bfp/lp_BFP.h
trunk/anastasia/libs/lp_solve/bfp/lp_BFP1.c
trunk/anastasia/libs/lp_solve/bfp/lp_BFP2.c
trunk/anastasia/libs/lp_solve/colamd/
trunk/anastasia/libs/lp_solve/colamd/colamd.c
trunk/anastasia/libs/lp_solve/colamd/colamd.h
trunk/anastasia/libs/lp_solve/declare.h
trunk/anastasia/libs/lp_solve/fortify.c
trunk/anastasia/libs/lp_solve/fortify.h
trunk/anastasia/libs/lp_solve/ini.c
trunk/anastasia/libs/lp_solve/ini.h
trunk/anastasia/libs/lp_solve/lp_Hash.c
trunk/anastasia/libs/lp_solve/lp_Hash.h
trunk/anastasia/libs/lp_solve/lp_MDO.c
trunk/anastasia/libs/lp_solve/lp_MDO.h
trunk/anastasia/libs/lp_solve/lp_MPS.c
trunk/anastasia/libs/lp_solve/lp_MPS.h
trunk/anastasia/libs/lp_solve/lp_SOS.c
trunk/anastasia/libs/lp_solve/lp_SOS.h
trunk/anastasia/libs/lp_solve/lp_crash.c
trunk/anastasia/libs/lp_solve/lp_crash.h
trunk/anastasia/libs/lp_solve/lp_explicit.h
trunk/anastasia/libs/lp_solve/lp_fortify.h
trunk/anastasia/libs/lp_solve/lp_lib.c
trunk/anastasia/libs/lp_solve/lp_lib.h
trunk/anastasia/libs/lp_solve/lp_matrix.c
trunk/anastasia/libs/lp_solve/lp_matrix.h
trunk/anastasia/libs/lp_solve/lp_mipbb.c
trunk/anastasia/libs/lp_solve/lp_mipbb.h
trunk/anastasia/libs/lp_solve/lp_params.c
trunk/anastasia/libs/lp_solve/lp_presolve.c
trunk/anastasia/libs/lp_solve/lp_presolve.h
trunk/anastasia/libs/lp_solve/lp_price.c
trunk/anastasia/libs/lp_solve/lp_price.h
trunk/anastasia/libs/lp_solve/lp_pricePSE.c
trunk/anastasia/libs/lp_solve/lp_pricePSE.h
trunk/anastasia/libs/lp_solve/lp_report.c
trunk/anastasia/libs/lp_solve/lp_report.h
trunk/anastasia/libs/lp_solve/lp_rlp.c
trunk/anastasia/libs/lp_solve/lp_rlp.h
trunk/anastasia/libs/lp_solve/lp_rlp.l
trunk/anastasia/libs/lp_solve/lp_rlp.y
trunk/anastasia/libs/lp_solve/lp_scale.c
trunk/anastasia/libs/lp_solve/lp_scale.h
trunk/anastasia/libs/lp_solve/lp_simplex.c
trunk/anastasia/libs/lp_solve/lp_simplex.h
trunk/anastasia/libs/lp_solve/lp_solveDLL.c
trunk/anastasia/libs/lp_solve/lp_solveDLL.h
trunk/anastasia/libs/lp_solve/lp_types.h
trunk/anastasia/libs/lp_solve/lp_utils.c
trunk/anastasia/libs/lp_solve/lp_utils.h
trunk/anastasia/libs/lp_solve/lp_wlp.c
trunk/anastasia/libs/lp_solve/lp_wlp.h
trunk/anastasia/libs/lp_solve/lpkit.h
trunk/anastasia/libs/lp_solve/lpsolve.h
trunk/anastasia/libs/lp_solve/shared/
trunk/anastasia/libs/lp_solve/shared/commonlib.c
trunk/anastasia/libs/lp_solve/shared/commonlib.h
trunk/anastasia/libs/lp_solve/shared/mmio.c
trunk/anastasia/libs/lp_solve/shared/mmio.h
trunk/anastasia/libs/lp_solve/shared/myblas.c
trunk/anastasia/libs/lp_solve/shared/myblas.h
trunk/anastasia/libs/lp_solve/ufortify.h
trunk/anastasia/libs/lp_solve/yacc_read.c
trunk/anastasia/libs/lp_solve/yacc_read.h
trunk/anastasia/libs/minisat/
trunk/anastasia/libs/minisat/Alg.h
trunk/anastasia/libs/minisat/Alloc.h
trunk/anastasia/libs/minisat/Dimacs.h
trunk/anastasia/libs/minisat/Heap.h
trunk/anastasia/libs/minisat/IntTypes.h
trunk/anastasia/libs/minisat/Main.cc
trunk/anastasia/libs/minisat/Makefile.am
trunk/anastasia/libs/minisat/Map.h
trunk/anastasia/libs/minisat/Options.cc
trunk/anastasia/libs/minisat/Options.h
trunk/anastasia/libs/minisat/ParseUtils.h
trunk/anastasia/libs/minisat/Queue.h
trunk/anastasia/libs/minisat/SimpSolver.cc
trunk/anastasia/libs/minisat/SimpSolver.h
trunk/anastasia/libs/minisat/Solver.cc
trunk/anastasia/libs/minisat/Solver.h
trunk/anastasia/libs/minisat/SolverTypes.h
trunk/anastasia/libs/minisat/Sort.h
trunk/anastasia/libs/minisat/System.cc
trunk/anastasia/libs/minisat/System.h
trunk/anastasia/libs/minisat/Vec.h
trunk/anastasia/libs/minisat/XAlloc.h
trunk/anastasia/libs/pnapi/
trunk/anastasia/libs/pnapi/FlexLexer.h
trunk/anastasia/libs/pnapi/Makefile.am
trunk/anastasia/libs/pnapi/Output.cc
trunk/anastasia/libs/pnapi/Output.h
trunk/anastasia/libs/pnapi/automaton.cc
trunk/anastasia/libs/pnapi/automaton.h
trunk/anastasia/libs/pnapi/component.cc
trunk/anastasia/libs/pnapi/component.h
trunk/anastasia/libs/pnapi/condition.cc
trunk/anastasia/libs/pnapi/condition.h
trunk/anastasia/libs/pnapi/exception.cc
trunk/anastasia/libs/pnapi/exception.h
trunk/anastasia/libs/pnapi/formula.cc
trunk/anastasia/libs/pnapi/formula.h
trunk/anastasia/libs/pnapi/interface.cc
trunk/anastasia/libs/pnapi/interface.h
trunk/anastasia/libs/pnapi/io-format.cc
trunk/anastasia/libs/pnapi/marking.cc
trunk/anastasia/libs/pnapi/marking.h
trunk/anastasia/libs/pnapi/myio.cc
trunk/anastasia/libs/pnapi/myio.h
trunk/anastasia/libs/pnapi/parser-lola-lexer.cc
trunk/anastasia/libs/pnapi/parser-lola-location.h
trunk/anastasia/libs/pnapi/parser-lola-position.h
trunk/anastasia/libs/pnapi/parser-lola-stack.h
trunk/anastasia/libs/pnapi/parser-lola-wrapper.cc
trunk/anastasia/libs/pnapi/parser-lola-wrapper.h
trunk/anastasia/libs/pnapi/parser-lola.cc
trunk/anastasia/libs/pnapi/parser-lola.h
trunk/anastasia/libs/pnapi/parser-owfn-lexer.cc
trunk/anastasia/libs/pnapi/parser-owfn-location.h
trunk/anastasia/libs/pnapi/parser-owfn-position.h
trunk/anastasia/libs/pnapi/parser-owfn-stack.h
trunk/anastasia/libs/pnapi/parser-owfn-wrapper.cc
trunk/anastasia/libs/pnapi/parser-owfn-wrapper.h
trunk/anastasia/libs/pnapi/parser-owfn.cc
trunk/anastasia/libs/pnapi/parser-owfn.h
trunk/anastasia/libs/pnapi/parser-pn-lexer.cc
trunk/anastasia/libs/pnapi/parser-pn-location.h
trunk/anastasia/libs/pnapi/parser-pn-position.h
trunk/anastasia/libs/pnapi/parser-pn-stack.h
trunk/anastasia/libs/pnapi/parser-pn-wrapper.cc
trunk/anastasia/libs/pnapi/parser-pn-wrapper.h
trunk/anastasia/libs/pnapi/parser-pn.cc
trunk/anastasia/libs/pnapi/parser-pn.h
trunk/anastasia/libs/pnapi/parser-pnml-lexer.cc
trunk/anastasia/libs/pnapi/parser-pnml-location.h
trunk/anastasia/libs/pnapi/parser-pnml-position.h
trunk/anastasia/libs/pnapi/parser-pnml-stack.h
trunk/anastasia/libs/pnapi/parser-pnml-wrapper.cc
trunk/anastasia/libs/pnapi/parser-pnml-wrapper.h
trunk/anastasia/libs/pnapi/parser-pnml.cc
trunk/anastasia/libs/pnapi/parser-pnml.h
trunk/anastasia/libs/pnapi/parser-sa-lexer.cc
trunk/anastasia/libs/pnapi/parser-sa-location.h
trunk/anastasia/libs/pnapi/parser-sa-position.h
trunk/anastasia/libs/pnapi/parser-sa-stack.h
trunk/anastasia/libs/pnapi/parser-sa-wrapper.cc
trunk/anastasia/libs/pnapi/parser-sa-wrapper.h
trunk/anastasia/libs/pnapi/parser-sa.cc
trunk/anastasia/libs/pnapi/parser-sa.h
trunk/anastasia/libs/pnapi/parser-woflan-lexer.cc
trunk/anastasia/libs/pnapi/parser-woflan-location.h
trunk/anastasia/libs/pnapi/parser-woflan-position.h
trunk/anastasia/libs/pnapi/parser-woflan-stack.h
trunk/anastasia/libs/pnapi/parser-woflan-wrapper.cc
trunk/anastasia/libs/pnapi/parser-woflan-wrapper.h
trunk/anastasia/libs/pnapi/parser-woflan.cc
trunk/anastasia/libs/pnapi/parser-woflan.h
trunk/anastasia/libs/pnapi/parser.cc
trunk/anastasia/libs/pnapi/parser.h
trunk/anastasia/libs/pnapi/petrinet-pn.cc
trunk/anastasia/libs/pnapi/petrinet-reduction.cc
trunk/anastasia/libs/pnapi/petrinet.cc
trunk/anastasia/libs/pnapi/petrinet.h
trunk/anastasia/libs/pnapi/pnapi-assert.h
trunk/anastasia/libs/pnapi/pnapi.cc
trunk/anastasia/libs/pnapi/pnapi.h
trunk/anastasia/libs/pnapi/port.cc
trunk/anastasia/libs/pnapi/port.h
trunk/anastasia/libs/pnapi/state.cc
trunk/anastasia/libs/pnapi/state.h
trunk/anastasia/libs/pnapi/util.h
trunk/anastasia/libs/pnapi/verbose.cc
trunk/anastasia/libs/pnapi/verbose.h
trunk/anastasia/libs/sara/
trunk/anastasia/libs/sara/Makefile.am
trunk/anastasia/libs/sara/constraint.cc
trunk/anastasia/libs/sara/constraint.h
trunk/anastasia/libs/sara/imatrix.cc
trunk/anastasia/libs/sara/imatrix.h
trunk/anastasia/libs/sara/jobqueue.cc
trunk/anastasia/libs/sara/jobqueue.h
trunk/anastasia/libs/sara/lpwrapper.cc
trunk/anastasia/libs/sara/lpwrapper.h
trunk/anastasia/libs/sara/main.cc
trunk/anastasia/libs/sara/partialsolution.cc
trunk/anastasia/libs/sara/partialsolution.h
trunk/anastasia/libs/sara/pathfinder.cc
trunk/anastasia/libs/sara/pathfinder.h
trunk/anastasia/libs/sara/problem.cc
trunk/anastasia/libs/sara/problem.h
trunk/anastasia/libs/sara/reachalyzer.cc
trunk/anastasia/libs/sara/reachalyzer.h
trunk/anastasia/libs/sara/sara_lib.h
trunk/anastasia/libs/sara/tarjan.cc
trunk/anastasia/libs/sara/tarjan.h
trunk/anastasia/libs/sara/verbose.cc
trunk/anastasia/libs/sara/verbose.h
trunk/anastasia/m4/
trunk/anastasia/m4/st_autotest.m4
trunk/anastasia/m4/st_basic.m4
trunk/anastasia/m4/st_pnapi.m4
trunk/anastasia/m4/st_verbose.m4
trunk/anastasia/man/
trunk/anastasia/man/Makefile.am
trunk/anastasia/man/extra
trunk/anastasia/src/
trunk/anastasia/src/Makefile.am
trunk/anastasia/src/Output.cc
trunk/anastasia/src/Output.h
trunk/anastasia/src/anastasia.conf.in
trunk/anastasia/src/cmdline.ggo
trunk/anastasia/src/formula.cc
trunk/anastasia/src/formula.h
trunk/anastasia/src/lexic_anastasia.ll
trunk/anastasia/src/main.cc
trunk/anastasia/src/syntax_anastasia.yy
trunk/anastasia/src/verbose.cc
trunk/anastasia/src/verbose.h
trunk/anastasia/src/witness.cc
trunk/anastasia/src/witness.h
trunk/anastasia/tests/
trunk/anastasia/tests/Makefile.am
trunk/anastasia/tests/cover.sh.in
trunk/anastasia/tests/lcov/
trunk/anastasia/tests/lcov/README
trunk/anastasia/tests/lcov/gendesc (with props)
trunk/anastasia/tests/lcov/genhtml (with props)
trunk/anastasia/tests/lcov/geninfo (with props)
trunk/anastasia/tests/lcov/genpng (with props)
trunk/anastasia/tests/lcov/lcov (with props)
trunk/anastasia/tests/package.m4.in
trunk/anastasia/tests/testfiles/
trunk/anastasia/tests/testfiles/defectiveformula.txt
trunk/anastasia/tests/testfiles/fcSWOMT1.owfn
trunk/anastasia/tests/testfiles/fcSWOMT2.owfn
trunk/anastasia/tests/testfiles/fcSWOMT3.owfn
trunk/anastasia/tests/testfiles/formula.txt
trunk/anastasia/tests/testfiles/lvalformula.txt
trunk/anastasia/tests/testfiles/phils10.llnet
trunk/anastasia/tests/testfiles/philsfc.llnet
trunk/anastasia/tests/testfiles/rvalformula.txt
trunk/anastasia/tests/testfiles/test.owfn
trunk/anastasia/tests/testfiles/test2.owfn
trunk/anastasia/tests/testsuite.at
trunk/anastasia/tests/versions.sh
trunk/anastasia/tests/wrap.sh
trunk/anastasia/utils/
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
