verifypn

lp:~verifypn-maintainers/verifypn/interval_tar

Created by Peter Gjøl Jensen on 2020-04-22 and last modified on 2020-09-11

Get this branch:: bzr branch lp:~verifypn-maintainers/verifypn/interval_tar

Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Merged into lp:verifypn at revision 225

Jiri Srba: Approve on 2020-09-11

Diff: 165007 lines (+159658/-95)

930 files modified

.bzrignore (+6/-4)
CMakeLists.txt (+99/-40)
README.md (+64/-51)
glpk-warning.patch (+10/-0)
include/CTL/Algorithm/AlgorithmTypes.h (+10/-0)
include/CTL/Algorithm/CertainZeroFPA.h (+36/-0)
include/CTL/Algorithm/FixedPointAlgorithm.h (+32/-0)
include/CTL/Algorithm/LocalFPA.h (+29/-0)
include/CTL/CTLEngine.h (+25/-0)
include/CTL/CTLResult.h (+33/-0)
include/CTL/DependencyGraph/BasicDependencyGraph.h (+23/-0)
include/CTL/DependencyGraph/Configuration.h (+40/-0)
include/CTL/DependencyGraph/Edge.h (+36/-0)
include/CTL/DependencyGraph/assignment.h (+11/-0)
include/CTL/PetriNets/OnTheFlyDG.h (+115/-0)
include/CTL/PetriNets/PetriConfig.h (+31/-0)
include/CTL/SearchStrategy/BFSSearch.h (+36/-0)
include/CTL/SearchStrategy/DFSSearch.h (+29/-0)
include/CTL/SearchStrategy/HeuristicSearch.h (+32/-0)
include/CTL/SearchStrategy/RDFSSearch.h (+34/-0)
include/CTL/SearchStrategy/SearchStrategy.h (+56/-0)
include/CTL/Stopwatch.h (+40/-0)
include/PetriEngine/AbstractPetriNetBuilder.h (+114/-0)
include/PetriEngine/Colored/ColoredNetStructures.h (+48/-0)
include/PetriEngine/Colored/ColoredPetriNetBuilder.h (+179/-0)
include/PetriEngine/Colored/Colors.h (+279/-0)
include/PetriEngine/Colored/Expressions.h (+658/-0)
include/PetriEngine/Colored/Multiset.h (+83/-0)
include/PetriEngine/NetStructures.h (+91/-0)
include/PetriEngine/PQL/Contexts.h (+250/-0)
include/PetriEngine/PQL/Expressions.h (+1221/-0)
include/PetriEngine/PQL/PQL.h (+285/-0)
include/PetriEngine/PQL/PQLParser.h (+34/-0)
include/PetriEngine/PQL/Visitor.h (+101/-0)
include/PetriEngine/PetriNet.h (+136/-0)
include/PetriEngine/PetriNetBuilder.h (+145/-0)
include/PetriEngine/Reachability/ReachabilityResult.h (+97/-0)
include/PetriEngine/Reachability/ReachabilitySearch.h (+182/-0)
include/PetriEngine/Reducer.h (+175/-0)
include/PetriEngine/ReducingSuccessorGenerator.h (+68/-0)
include/PetriEngine/STSolver.h (+55/-0)
include/PetriEngine/Simplification/LPCache.h (+54/-0)
include/PetriEngine/Simplification/LinearProgram.h (+94/-0)
include/PetriEngine/Simplification/LinearPrograms.h (+309/-0)
include/PetriEngine/Simplification/Member.h (+229/-0)
include/PetriEngine/Simplification/MurmurHash2.h (+39/-0)
include/PetriEngine/Simplification/Retval.h (+77/-0)
include/PetriEngine/Simplification/Vector.h (+130/-0)
include/PetriEngine/Structures/AlignedEncoder.h (+84/-0)
include/PetriEngine/Structures/Queue.h (+106/-0)
include/PetriEngine/Structures/State.h (+79/-0)
include/PetriEngine/Structures/StateSet.h (+258/-0)
include/PetriEngine/Structures/binarywrapper.h (+406/-0)
include/PetriEngine/Structures/light_deque.h (+78/-0)
include/PetriEngine/Structures/linked_bucket.h (+227/-0)
include/PetriEngine/SuccessorGenerator.h (+74/-0)
include/PetriEngine/TAR/AntiChain.h (+95/-0)
include/PetriEngine/TAR/ContainsVisitor.h (+230/-0)
include/PetriEngine/TAR/PlaceUseVisitor.h (+66/-0)
include/PetriEngine/TAR/RangeContext.h (+70/-0)
include/PetriEngine/TAR/RangeEvalContext.h (+66/-0)
include/PetriEngine/TAR/Solver.h (+56/-0)
include/PetriEngine/TAR/TARAutomata.h (+337/-0)
include/PetriEngine/TAR/TARReachability.h (+90/-0)
include/PetriEngine/TAR/TraceSet.h (+52/-0)
include/PetriEngine/TAR/range.h (+422/-0)
include/PetriEngine/errorcodes.h (+22/-0)
include/PetriEngine/options.h (+126/-0)
include/PetriParse/PNMLParser.h (+109/-0)
include/PetriParse/QueryBinaryParser.h (+45/-0)
include/PetriParse/QueryParser.h (+21/-0)
include/PetriParse/QueryXMLParser.h (+58/-0)
run_tests.sh (+40/-0)
src/CMakeLists.txt (+15/-0)
src/CTL/Algorithm/CMakeLists.txt (+9/-0)
src/CTL/Algorithm/CertainZeroFPA.cpp (+233/-0)
src/CTL/Algorithm/FixedPointAlgorithm.cpp (+33/-0)
src/CTL/Algorithm/LocalFPA.cpp (+123/-0)
src/CTL/CMakeLists.txt (+12/-0)
src/CTL/CTLEngine.cpp (+319/-0)
src/CTL/DependencyGraph/CMakeLists.txt (+3/-0)
src/CTL/DependencyGraph/Configuration.cpp (+5/-0)
src/CTL/PetriNets/CMakeLists.txt (+5/-0)
src/CTL/PetriNets/OnTheFlyDG.cpp (+634/-0)
src/CTL/SearchStrategy/CMakeLists.txt (+5/-0)
src/CTL/SearchStrategy/HeuristicSearch.cpp (+30/-0)
src/CTL/SearchStrategy/RDFSSearch.cpp (+38/-0)
src/CTL/SearchStrategy/SearchStrategy.cpp (+138/-0)
src/PetriEngine/CMakeLists.txt (+19/-0)
src/PetriEngine/Colored/CMakeLists.txt (+6/-0)
src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+302/-0)
src/PetriEngine/Colored/Colors.cpp (+218/-0)
src/PetriEngine/Colored/Multiset.cpp (+193/-0)
src/PetriEngine/PQL/CMakeLists.txt (+17/-0)
src/PetriEngine/PQL/Contexts.cpp (+141/-0)
src/PetriEngine/PQL/Expressions.cpp (+4207/-0)
src/PetriEngine/PQL/PQL.cpp (+70/-0)
src/PetriEngine/PQL/PQLQueryParser.y (+83/-0)
src/PetriEngine/PQL/PQLQueryTokens.l (+75/-0)
src/PetriEngine/PetriNet.cpp (+248/-0)
src/PetriEngine/PetriNetBuilder.cpp (+467/-0)
src/PetriEngine/Reachability/CMakeLists.txt (+7/-0)
src/PetriEngine/Reachability/ReachabilitySearch.cpp (+158/-0)
src/PetriEngine/Reachability/ResultPrinter.cpp (+239/-0)
src/PetriEngine/Reducer.cpp (+1741/-0)
src/PetriEngine/ReducingSuccessorGenerator.cpp (+318/-0)
src/PetriEngine/STSolver.cpp (+276/-0)
src/PetriEngine/Simplification/CMakeLists.txt (+5/-0)
src/PetriEngine/Simplification/LPCache.cpp (+26/-0)
src/PetriEngine/Simplification/LinearProgram.cpp (+369/-0)
src/PetriEngine/Simplification/MurmurHash2.cpp (+523/-0)
src/PetriEngine/Simplification/Vector.cpp (+40/-0)
src/PetriEngine/Structures/AlignedEncoder.cpp (+595/-0)
src/PetriEngine/Structures/CMakeLists.txt (+4/-0)
src/PetriEngine/Structures/Queue.cpp (+129/-0)
src/PetriEngine/Structures/binarywrapper.cpp (+167/-0)
src/PetriEngine/SuccessorGenerator.cpp (+114/-0)
src/PetriEngine/TAR/CMakeLists.txt (+9/-0)
src/PetriEngine/TAR/PlaceUseVisitor.cpp (+147/-0)
src/PetriEngine/TAR/RangeContext.cpp (+336/-0)
src/PetriEngine/TAR/RangeEvalContext.cpp (+268/-0)
src/PetriEngine/TAR/Solver.cpp (+616/-0)
src/PetriEngine/TAR/TARReachability.cpp (+546/-0)
src/PetriEngine/TAR/TraceSet.cpp (+397/-0)
src/PetriParse/CMakeLists.txt (+5/-0)
src/PetriParse/PNMLParser.cpp (+620/-0)
src/PetriParse/QueryBinaryParser.cpp (+289/-0)
src/PetriParse/QueryXMLParser.cpp (+600/-0)
src/VerifyPN.cpp (+1093/-0)
test_models/FMS2-untimed/model.pnml (+588/-0)
test_models/FMS2-untimed/query.xml (+2904/-0)
test_models/Kanban2-test001/model.pnml (+450/-0)
test_models/Kanban2-test001/query.xml (+436/-0)
test_models/MAPK-test001/model.pnml (+738/-0)
test_models/MAPK-test001/query.xml (+136/-0)
test_models/abp-test001/model.pnml (+424/-0)
test_models/abp-test001/query.xml (+60/-0)
test_models/abp-test002/model.pnml (+424/-0)
test_models/abp-test002/query.xml (+60/-0)
test_models/abp-test003/model.pnml (+424/-0)
test_models/abp-test003/query.xml (+60/-0)
test_models/abp-test004/model.pnml (+424/-0)
test_models/abp-test004/query.xml (+60/-0)
test_models/abp-test005/model.pnml (+174/-0)
test_models/abp-test005/query.xml (+58/-0)
test_models/abp-test006/model.pnml (+200/-0)
test_models/abp-test006/query.xml (+58/-0)
test_models/abp-test007/model.pnml (+200/-0)
test_models/abp-test007/query.xml (+58/-0)
test_models/abp-test008/model.pnml (+174/-0)
test_models/abp-test008/query.xml (+58/-0)
test_models/arithmetic-test001/model.pnml (+870/-0)
test_models/arithmetic-test001/query.xml (+136/-0)
test_models/arithmetic-test002/model.pnml (+203/-0)
test_models/arithmetic-test002/query.xml (+426/-0)
test_models/arithmetic-test003/model.pnml (+423/-0)
test_models/arithmetic-test003/query.xml (+426/-0)
test_models/arithmetic-test004/model.pnml (+24/-0)
test_models/arithmetic-test004/query.xml (+38/-0)
test_models/arithmetic-test005/model.pnml (+52/-0)
test_models/arithmetic-test005/query.xml (+52/-0)
test_models/arithmetic-test006/model.pnml (+52/-0)
test_models/arithmetic-test006/query.xml (+90/-0)
test_models/arithmetic-test007/model.pnml (+94/-0)
test_models/arithmetic-test007/query.xml (+228/-0)
test_models/combined-test001/model.pnml (+170/-0)
test_models/combined-test001/query.xml (+134/-0)
test_models/combined-test002/model.pnml (+148/-0)
test_models/combined-test002/query.xml (+76/-0)
test_models/combined-test003/model.pnml (+210/-0)
test_models/combined-test003/query.xml (+52/-0)
test_models/combined-test004/model.pnml (+209/-0)
test_models/combined-test004/query.xml (+52/-0)
test_models/combined-test005/model.pnml (+181/-0)
test_models/combined-test005/query.xml (+20/-0)
test_models/combined-test006/model.pnml (+181/-0)
test_models/combined-test006/query.xml (+20/-0)
test_models/combined-test007/model.pnml (+858/-0)
test_models/combined-test007/query.xml (+84/-0)
test_models/composition-prime-test001/model.pnml (+1424/-0)
test_models/composition-prime-test001/query.xml (+20/-0)
test_models/composition-prime-test002/model.pnml (+1424/-0)
test_models/composition-prime-test002/query.xml (+20/-0)
test_models/composition-prime-test003/model.pnml (+1424/-0)
test_models/composition-prime-test003/query.xml (+20/-0)
test_models/composition-prime-test004/model.pnml (+1424/-0)
test_models/composition-prime-test004/query.xml (+20/-0)
test_models/composition-prime-test005/model.pnml (+1424/-0)
test_models/composition-prime-test005/query.xml (+20/-0)
test_models/composition-test001/model.pnml (+137/-0)
test_models/composition-test001/query.xml (+20/-0)
test_models/composition-test002/model.pnml (+137/-0)
test_models/composition-test002/query.xml (+20/-0)
test_models/composition-test003/model.pnml (+137/-0)
test_models/composition-test003/query.xml (+20/-0)
test_models/composition-test004/model.pnml (+124/-0)
test_models/composition-test004/query.xml (+20/-0)
test_models/composition-test005/model.pnml (+229/-0)
test_models/composition-test005/query.xml (+20/-0)
test_models/composition-test006/model.pnml (+229/-0)
test_models/composition-test006/query.xml (+20/-0)
test_models/composition-test007/model.pnml (+229/-0)
test_models/composition-test007/query.xml (+20/-0)
test_models/composition-test008/model.pnml (+244/-0)
test_models/composition-test008/query.xml (+20/-0)
test_models/composition-test009/model.pnml (+397/-0)
test_models/composition-test009/query.xml (+52/-0)
test_models/composition-test010/model.pnml (+397/-0)
test_models/composition-test010/query.xml (+28/-0)
test_models/composition-test011/model.pnml (+397/-0)
test_models/composition-test011/query.xml (+28/-0)
test_models/composition-test012/model.pnml (+149/-0)
test_models/composition-test012/query.xml (+52/-0)
test_models/composition-test013/model.pnml (+149/-0)
test_models/composition-test013/query.xml (+52/-0)
test_models/composition-test014/model.pnml (+295/-0)
test_models/composition-test014/query.xml (+34/-0)
test_models/composition-test015/model.pnml (+295/-0)
test_models/composition-test015/query.xml (+34/-0)
test_models/constant-test001/model.pnml (+159/-0)
test_models/constant-test001/query.xml (+20/-0)
test_models/constant-test002/model.pnml (+159/-0)
test_models/constant-test002/query.xml (+20/-0)
test_models/continuous-test001/model.pnml (+135/-0)
test_models/continuous-test001/query.xml (+39/-0)
test_models/continuous-test002/model.pnml (+135/-0)
test_models/continuous-test002/query.xml (+36/-0)
test_models/continuous-test003/model.pnml (+144/-0)
test_models/continuous-test003/query.xml (+15/-0)
test_models/continuous-test004/model.pnml (+144/-0)
test_models/continuous-test004/query.xml (+15/-0)
test_models/continuous-test005/model.pnml (+150/-0)
test_models/continuous-test005/query.xml (+15/-0)
test_models/continuous-test006/model.pnml (+147/-0)
test_models/continuous-test006/query.xml (+20/-0)
test_models/continuous-test007/model.pnml (+147/-0)
test_models/continuous-test007/query.xml (+20/-0)
test_models/continuous-test008/model.pnml (+143/-0)
test_models/continuous-test008/query.xml (+36/-0)
test_models/continuous-test009/model.pnml (+113/-0)
test_models/continuous-test009/query.xml (+66/-0)
test_models/deadlock-test001/model.pnml (+216/-0)
test_models/deadlock-test001/query.xml (+20/-0)
test_models/deadlock-test002/model.pnml (+394/-0)
test_models/deadlock-test002/query.xml (+52/-0)
test_models/deadlock-test003/model.pnml (+306/-0)
test_models/deadlock-test003/query.xml (+66/-0)
test_models/deadlock-test004/model.pnml (+164/-0)
test_models/deadlock-test004/query.xml (+20/-0)
test_models/deadlock-test005/model.pnml (+326/-0)
test_models/deadlock-test005/query.xml (+68/-0)
test_models/deadlock-test006/model.pnml (+326/-0)
test_models/deadlock-test006/query.xml (+60/-0)
test_models/deadlock-test007/model.pnml (+322/-0)
test_models/deadlock-test007/query.xml (+28/-0)
test_models/deadlock-test008/model.pnml (+348/-0)
test_models/deadlock-test008/query.xml (+28/-0)
test_models/deadlock-test009/model.pnml (+348/-0)
test_models/deadlock-test009/query.xml (+28/-0)
test_models/deadlock-test010/model.pnml (+322/-0)
test_models/deadlock-test010/query.xml (+28/-0)
test_models/deadlock-test011/model.pnml (+424/-0)
test_models/deadlock-test011/query.xml (+15/-0)
test_models/deadlock-test012/model.pnml (+424/-0)
test_models/deadlock-test012/query.xml (+15/-0)
test_models/deadlock-test013/model.pnml (+87/-0)
test_models/deadlock-test013/query.xml (+55/-0)
test_models/deadlock-test014/model.pnml (+82/-0)
test_models/deadlock-test014/query.xml (+55/-0)
test_models/deadlock-test015/model.pnml (+211/-0)
test_models/deadlock-test015/query.xml (+17/-0)
test_models/deadlock-test016/model.pnml (+232/-0)
test_models/deadlock-test016/query.xml (+38/-0)
test_models/deadlock-test017/model.pnml (+983/-0)
test_models/deadlock-test017/query.xml (+112/-0)
test_models/deadlock-test018/model.pnml (+45/-0)
test_models/deadlock-test018/query.xml (+34/-0)
test_models/deadlock-test019/model.pnml (+93/-0)
test_models/deadlock-test019/query.xml (+25/-0)
test_models/deadlock-test020/model.pnml (+93/-0)
test_models/deadlock-test020/query.xml (+158/-0)
test_models/deadlock-test021/model.pnml (+112/-0)
test_models/deadlock-test021/query.xml (+158/-0)
test_models/discrete-test-009/model.pnml (+261/-0)
test_models/discrete-test-009/query.xml (+114/-0)
test_models/discrete-test001/model.pnml (+43/-0)
test_models/discrete-test001/query.xml (+47/-0)
test_models/discrete-test002/model.pnml (+128/-0)
test_models/discrete-test002/query.xml (+44/-0)
test_models/discrete-test003/model.pnml (+159/-0)
test_models/discrete-test003/query.xml (+36/-0)
test_models/discrete-test004/model.pnml (+186/-0)
test_models/discrete-test004/query.xml (+80/-0)
test_models/discrete-test005/model.pnml (+566/-0)
test_models/discrete-test005/query.xml (+44/-0)
test_models/discrete-test006/model.pnml (+228/-0)
test_models/discrete-test006/query.xml (+200/-0)
test_models/discrete-test007/model.pnml (+248/-0)
test_models/discrete-test007/query.xml (+108/-0)
test_models/discrete-test008/model.pnml (+147/-0)
test_models/discrete-test008/query.xml (+94/-0)
test_models/discrete-test009/model.pnml (+261/-0)
test_models/discrete-test009/query.xml (+114/-0)
test_models/discrete-test010/model.pnml (+561/-0)
test_models/discrete-test010/query.xml (+262/-0)
test_models/discrete-test011/model.pnml (+512/-0)
test_models/discrete-test011/query.xml (+144/-0)
test_models/discrete-test012/model.pnml (+334/-0)
test_models/discrete-test012/query.xml (+20/-0)
test_models/division-test001/model.pnml (+593/-0)
test_models/division-test001/query.xml (+34/-0)
test_models/division-test002/model.pnml (+593/-0)
test_models/division-test002/query.xml (+34/-0)
test_models/error-conjunction-bug-test001/model.pnml (+612/-0)
test_models/error-conjunction-bug-test001/query.xml (+36/-0)
test_models/error-conjunction-reducer-test002/model.pnml (+631/-0)
test_models/error-conjunction-reducer-test002/query.xml (+62/-0)
test_models/error-encoder-test-001/model.pnml (+87/-0)
test_models/error-encoder-test-001/query.xml (+20/-0)
test_models/exercise-test001/model.pnml (+208/-0)
test_models/exercise-test001/query.xml (+72/-0)
test_models/exercise-test002/model.pnml (+174/-0)
test_models/exercise-test002/query.xml (+36/-0)
test_models/exercise-test003/model.pnml (+148/-0)
test_models/exercise-test003/query.xml (+28/-0)
test_models/exercise-test004/model.pnml (+148/-0)
test_models/exercise-test004/query.xml (+28/-0)
test_models/exercise-test005/model.pnml (+222/-0)
test_models/exercise-test005/query.xml (+20/-0)
test_models/exercise-test006/model.pnml (+222/-0)
test_models/exercise-test006/query.xml (+20/-0)
test_models/exercise-test007/model.pnml (+191/-0)
test_models/exercise-test007/query.xml (+20/-0)
test_models/exercise-test008/model.pnml (+220/-0)
test_models/exercise-test008/query.xml (+36/-0)
test_models/exercise-test009/model.pnml (+377/-0)
test_models/exercise-test009/query.xml (+20/-0)
test_models/exercise-test010/model.pnml (+377/-0)
test_models/exercise-test010/query.xml (+20/-0)
test_models/extra-test-001-liveness/model.pnml (+121/-0)
test_models/extra-test-001-liveness/query.xml (+38/-0)
test_models/extra-test-002-search-order/model.pnml (+158/-0)
test_models/extra-test-002-search-order/query.xml (+20/-0)
test_models/extra-test-003-maintanance/model.pnml (+406/-0)
test_models/extra-test-003-maintanance/query.xml (+20/-0)
test_models/extra-test-004-burger/model.pnml (+416/-0)
test_models/extra-test-004-burger/query.xml (+20/-0)
test_models/extra-test-004-transfusion/model.pnml (+2314/-0)
test_models/extra-test-004-transfusion/query.xml (+20/-0)
test_models/extra-test-005-liveness/model.pnml (+122/-0)
test_models/extra-test-005-liveness/query.xml (+76/-0)
test_models/extra-test-006-liveness/model.pnml (+141/-0)
test_models/extra-test-006-liveness/query.xml (+63/-0)
test_models/extra-test-007-liveness/model.pnml (+228/-0)
test_models/extra-test-007-liveness/query.xml (+70/-0)
test_models/fms-test001/model.pnml (+602/-0)
test_models/fms-test001/query.xml (+104/-0)
test_models/inclusion-test001/model.pnml (+182/-0)
test_models/inclusion-test001/query.xml (+112/-0)
test_models/inclusion-test002/model.pnml (+191/-0)
test_models/inclusion-test002/query.xml (+204/-0)
test_models/inclusion-test003/model.pnml (+191/-0)
test_models/inclusion-test003/query.xml (+204/-0)
test_models/inclusion-test004/model.pnml (+192/-0)
test_models/inclusion-test004/query.xml (+120/-0)
test_models/inclusion-test005/model.pnml (+194/-0)
test_models/inclusion-test005/query.xml (+120/-0)
test_models/inclusion-test006/model.pnml (+79/-0)
test_models/inclusion-test006/query.xml (+52/-0)
test_models/inclusion-test007/model.pnml (+132/-0)
test_models/inclusion-test007/query.xml (+104/-0)
test_models/inhibitors-test001/model.pnml (+134/-0)
test_models/inhibitors-test001/query.xml (+20/-0)
test_models/inhibitors-test002/model.pnml (+134/-0)
test_models/inhibitors-test002/query.xml (+20/-0)
test_models/inhibitors-test003/model.pnml (+134/-0)
test_models/inhibitors-test003/query.xml (+20/-0)
test_models/inhibitors-test004/model.pnml (+134/-0)
test_models/inhibitors-test004/query.xml (+20/-0)
test_models/invariants-test001/model.pnml (+184/-0)
test_models/invariants-test001/query.xml (+20/-0)
test_models/invariants-test002/model.pnml (+134/-0)
test_models/invariants-test002/query.xml (+20/-0)
test_models/invariants-test003/model.pnml (+134/-0)
test_models/invariants-test003/query.xml (+20/-0)
test_models/invariants-test004/model.pnml (+127/-0)
test_models/invariants-test004/query.xml (+20/-0)
test_models/invariants-test005/model.pnml (+127/-0)
test_models/invariants-test005/query.xml (+20/-0)
test_models/invariants-test006/model.pnml (+127/-0)
test_models/invariants-test006/query.xml (+20/-0)
test_models/invariants-test007/model.pnml (+129/-0)
test_models/invariants-test007/query.xml (+20/-0)
test_models/invariants-test008/model.pnml (+129/-0)
test_models/invariants-test008/query.xml (+20/-0)
test_models/invariants-test009/model.pnml (+172/-0)
test_models/invariants-test009/query.xml (+28/-0)
test_models/invariants-test010/model.pnml (+199/-0)
test_models/invariants-test010/query.xml (+28/-0)
test_models/invariants-test011/model.pnml (+156/-0)
test_models/invariants-test011/query.xml (+47/-0)
test_models/lightcross-text001/model.pnml (+172/-0)
test_models/lightcross-text001/query.xml (+84/-0)
test_models/liveness-test001/model.pnml (+171/-0)
test_models/liveness-test001/query.xml (+60/-0)
test_models/liveness-test002/model.pnml (+191/-0)
test_models/liveness-test002/query.xml (+20/-0)
test_models/liveness-test003/model.pnml (+191/-0)
test_models/liveness-test003/query.xml (+20/-0)
test_models/orphans-test001/model.pnml (+142/-0)
test_models/orphans-test001/query.xml (+28/-0)
test_models/orphans-test002/model.pnml (+142/-0)
test_models/orphans-test002/query.xml (+28/-0)
test_models/orphans-test003/model.pnml (+232/-0)
test_models/orphans-test003/query.xml (+30/-0)
test_models/orphans-test004/model.pnml (+232/-0)
test_models/orphans-test004/query.xml (+30/-0)
test_models/other-test001/model.pnml (+335/-0)
test_models/other-test001/query.xml (+28/-0)
test_models/other-test002/model.pnml (+335/-0)
test_models/other-test002/query.xml (+28/-0)
test_models/other-test003/model.pnml (+150/-0)
test_models/other-test003/query.xml (+20/-0)
test_models/other-test004/model.pnml (+150/-0)
test_models/other-test004/query.xml (+20/-0)
test_models/other-test005/model.pnml (+207/-0)
test_models/other-test005/query.xml (+20/-0)
test_models/other-test006/model.pnml (+207/-0)
test_models/other-test006/query.xml (+20/-0)
test_models/other-test007/model.pnml (+179/-0)
test_models/other-test007/query.xml (+28/-0)
test_models/other-test008/model.pnml (+174/-0)
test_models/other-test008/query.xml (+28/-0)
test_models/other-test009/model.pnml (+272/-0)
test_models/other-test009/query.xml (+20/-0)
test_models/other-test010/model.pnml (+272/-0)
test_models/other-test010/query.xml (+20/-0)
test_models/other-test011/model.pnml (+272/-0)
test_models/other-test011/query.xml (+20/-0)
test_models/other-test012/model.pnml (+195/-0)
test_models/other-test012/query.xml (+36/-0)
test_models/other-test013/model.pnml (+235/-0)
test_models/other-test013/query.xml (+84/-0)
test_models/other-test014/model.pnml (+252/-0)
test_models/other-test014/query.xml (+84/-0)
test_models/other-test015/model.pnml (+309/-0)
test_models/other-test015/query.xml (+68/-0)
test_models/prime-test001/model.pnml (+621/-0)
test_models/prime-test001/query.xml (+34/-0)
test_models/prime-test0019/model.pnml (+359/-0)
test_models/prime-test0019/query.xml (+20/-0)
test_models/prime-test002/model.pnml (+621/-0)
test_models/prime-test002/query.xml (+34/-0)
test_models/prime-test0020/model.pnml (+359/-0)
test_models/prime-test0020/query.xml (+20/-0)
test_models/prime-test0021/model.pnml (+359/-0)
test_models/prime-test0021/query.xml (+20/-0)
test_models/prime-test0022/model.pnml (+359/-0)
test_models/prime-test0022/query.xml (+20/-0)
test_models/prime-test003/model.pnml (+621/-0)
test_models/prime-test003/query.xml (+34/-0)
test_models/prime-test004/model.pnml (+621/-0)
test_models/prime-test004/query.xml (+34/-0)
test_models/prime-test005/model.pnml (+621/-0)
test_models/prime-test005/query.xml (+34/-0)
test_models/prime-test006/model.pnml (+621/-0)
test_models/prime-test006/query.xml (+34/-0)
test_models/prime-test007/model.pnml (+621/-0)
test_models/prime-test007/query.xml (+34/-0)
test_models/prime-test008/model.pnml (+621/-0)
test_models/prime-test008/query.xml (+34/-0)
test_models/prime-test009/model.pnml (+621/-0)
test_models/prime-test009/query.xml (+34/-0)
test_models/prime-test010/model.pnml (+621/-0)
test_models/prime-test010/query.xml (+34/-0)
test_models/prime-test011/model.pnml (+621/-0)
test_models/prime-test011/query.xml (+34/-0)
test_models/prime-test012/model.pnml (+621/-0)
test_models/prime-test012/query.xml (+34/-0)
test_models/prime-test013/model.pnml (+621/-0)
test_models/prime-test013/query.xml (+34/-0)
test_models/prime-test014/model.pnml (+621/-0)
test_models/prime-test014/query.xml (+34/-0)
test_models/prime-test015/model.pnml (+621/-0)
test_models/prime-test015/query.xml (+34/-0)
test_models/prime-test016/model.pnml (+802/-0)
test_models/prime-test016/query.xml (+36/-0)
test_models/prime-test017/model.pnml (+802/-0)
test_models/prime-test017/query.xml (+36/-0)
test_models/prime-test018/model.pnml (+802/-0)
test_models/prime-test018/query.xml (+36/-0)
test_models/prime-test019/model.pnml (+359/-0)
test_models/prime-test019/query.xml (+20/-0)
test_models/prime-test020/model.pnml (+359/-0)
test_models/prime-test020/query.xml (+20/-0)
test_models/prime-test023/model.pnml (+251/-0)
test_models/prime-test023/query.xml (+32/-0)
test_models/prime-test024/model.pnml (+251/-0)
test_models/prime-test024/query.xml (+32/-0)
test_models/productline-test001/model.pnml (+245/-0)
test_models/productline-test001/query.xml (+20/-0)
test_models/productline-test002/model.pnml (+245/-0)
test_models/productline-test002/query.xml (+20/-0)
test_models/productline-test003/model.pnml (+245/-0)
test_models/productline-test003/query.xml (+20/-0)
test_models/productline-test004/model.pnml (+255/-0)
test_models/productline-test004/query.xml (+20/-0)
test_models/productline-test005/model.pnml (+255/-0)
test_models/productline-test005/query.xml (+20/-0)
test_models/query-test001/model.pnml (+167/-0)
test_models/query-test001/query.xml (+224/-0)
test_models/query-test002/model.pnml (+135/-0)
test_models/query-test002/query.xml (+306/-0)
test_models/query-test003/model.pnml (+276/-0)
test_models/query-test003/query.xml (+102/-0)
test_models/query-test004/model.pnml (+165/-0)
test_models/query-test004/query.xml (+124/-0)
test_models/query-test005/model.pnml (+105/-0)
test_models/query-test005/query.xml (+76/-0)
test_models/reduction-001/model.pnml (+203/-0)
test_models/reduction-001/query.xml (+20/-0)
test_models/reduction-002/model.pnml (+203/-0)
test_models/reduction-002/query.xml (+20/-0)
test_models/reduction-003/model.pnml (+205/-0)
test_models/reduction-003/query.xml (+20/-0)
test_models/reduction-004/model.pnml (+207/-0)
test_models/reduction-004/query.xml (+20/-0)
test_models/reduction-005/model.pnml (+207/-0)
test_models/reduction-005/query.xml (+20/-0)
test_models/reduction-006/model.pnml (+203/-0)
test_models/reduction-006/query.xml (+20/-0)
test_models/reduction-007/model.pnml (+208/-0)
test_models/reduction-007/query.xml (+20/-0)
test_models/reduction-008-house/model.pnml (+623/-0)
test_models/reduction-008-house/query.xml (+44/-0)
test_models/reduction-009/model.pnml (+260/-0)
test_models/reduction-009/query.xml (+28/-0)
test_models/reduction-010/model.pnml (+122/-0)
test_models/reduction-010/query.xml (+20/-0)
test_models/reduction-011/model.pnml (+112/-0)
test_models/reduction-011/query.xml (+20/-0)
test_models/reduction-012/model.pnml (+121/-0)
test_models/reduction-012/query.xml (+20/-0)
test_models/reduction-013/model.pnml (+113/-0)
test_models/reduction-013/query.xml (+20/-0)
test_models/reduction-014/model.pnml (+151/-0)
test_models/reduction-014/query.xml (+20/-0)
test_models/reduction-015/model.pnml (+165/-0)
test_models/reduction-015/query.xml (+20/-0)
test_models/reduction-016/model.pnml (+134/-0)
test_models/reduction-016/query.xml (+20/-0)
test_models/reduction-017/model.pnml (+95/-0)
test_models/reduction-017/query.xml (+20/-0)
test_models/reduction-018/model.pnml (+98/-0)
test_models/reduction-018/query.xml (+22/-0)
test_models/reduction-019-deadlock/model.pnml (+154/-0)
test_models/reduction-019-deadlock/query.xml (+15/-0)
test_models/reduction-020-deadlock/model.pnml (+109/-0)
test_models/reduction-020-deadlock/query.xml (+15/-0)
test_models/reduction-021-deadlock/model.pnml (+109/-0)
test_models/reduction-021-deadlock/query.xml (+15/-0)
test_models/reduction-022-deadlock/model.pnml (+78/-0)
test_models/reduction-022-deadlock/query.xml (+15/-0)
test_models/reduction-023-deadlock/model.pnml (+51/-0)
test_models/reduction-023-deadlock/query.xml (+15/-0)
test_models/reduction-024/model.pnml (+802/-0)
test_models/reduction-024/query.xml (+44/-0)
test_models/reduction-025/model.pnml (+157/-0)
test_models/reduction-025/query.xml (+44/-0)
test_models/reduction-026/model.pnml (+165/-0)
test_models/reduction-026/query.xml (+44/-0)
test_models/reduction-027/model.pnml (+165/-0)
test_models/reduction-027/query.xml (+44/-0)
test_models/reduction-028/model.pnml (+161/-0)
test_models/reduction-028/query.xml (+44/-0)
test_models/reduction-029/model.pnml (+308/-0)
test_models/reduction-029/query.xml (+31/-0)
test_models/reduction-030/model.pnml (+308/-0)
test_models/reduction-030/query.xml (+31/-0)
test_models/reduction-031/model.pnml (+310/-0)
test_models/reduction-031/query.xml (+31/-0)
test_models/reduction-032/model.pnml (+217/-0)
test_models/reduction-032/query.xml (+31/-0)
test_models/reduction-033/model.pnml (+248/-0)
test_models/reduction-033/query.xml (+31/-0)
test_models/reduction-034/model.pnml (+248/-0)
test_models/reduction-034/query.xml (+31/-0)
test_models/reduction-035/model.pnml (+164/-0)
test_models/reduction-035/query.xml (+20/-0)
test_models/reduction-036/model.pnml (+164/-0)
test_models/reduction-036/query.xml (+20/-0)
test_models/reduction-037/model.pnml (+277/-0)
test_models/reduction-037/query.xml (+31/-0)
test_models/reduction-038/model.pnml (+277/-0)
test_models/reduction-038/query.xml (+57/-0)
test_models/reduction-039/model.pnml (+265/-0)
test_models/reduction-039/query.xml (+105/-0)
test_models/reduction-040/model.pnml (+150/-0)
test_models/reduction-040/query.xml (+20/-0)
test_models/reduction-041/model.pnml (+174/-0)
test_models/reduction-041/query.xml (+20/-0)
test_models/reduction-042/model.pnml (+178/-0)
test_models/reduction-042/query.xml (+31/-0)
test_models/reduction-043/model.pnml (+191/-0)
test_models/reduction-043/query.xml (+28/-0)
test_models/reduction-044/model.pnml (+170/-0)
test_models/reduction-044/query.xml (+31/-0)
test_models/reduction-045/model.pnml (+174/-0)
test_models/reduction-045/query.xml (+31/-0)
test_models/reduction-046/model.pnml (+111/-0)
test_models/reduction-046/query.xml (+47/-0)
test_models/reduction-047/model.pnml (+130/-0)
test_models/reduction-047/query.xml (+47/-0)
test_models/reduction-048/model.pnml (+130/-0)
test_models/reduction-048/query.xml (+47/-0)
test_models/reduction-049/model.pnml (+130/-0)
test_models/reduction-049/query.xml (+31/-0)
test_models/reduction-050/model.pnml (+66/-0)
test_models/reduction-050/query.xml (+20/-0)
test_models/shortest-path-test001/model.pnml (+337/-0)
test_models/shortest-path-test001/query.xml (+20/-0)
test_models/shortest-path-test002/model.pnml (+337/-0)
test_models/shortest-path-test002/query.xml (+20/-0)
test_models/sim-test001/model.pnml (+173/-0)
test_models/sim-test001/query.xml (+44/-0)
test_models/sim-test002/model.pnml (+226/-0)
test_models/sim-test002/query.xml (+44/-0)
test_models/simple-test001/model.pnml (+96/-0)
test_models/simple-test001/query.xml (+20/-0)
test_models/simple-test002/model.pnml (+111/-0)
test_models/simple-test002/query.xml (+20/-0)
test_models/simple-test003/model.pnml (+111/-0)
test_models/simple-test003/query.xml (+20/-0)
test_models/simple-test004/model.pnml (+232/-0)
test_models/simple-test004/query.xml (+20/-0)
test_models/simple-test005/model.pnml (+232/-0)
test_models/simple-test005/query.xml (+20/-0)
test_models/simple-test006/model.pnml (+250/-0)
test_models/simple-test006/query.xml (+20/-0)
test_models/simple-test007/model.pnml (+250/-0)
test_models/simple-test007/query.xml (+20/-0)
test_models/simple-test008/model.pnml (+151/-0)
test_models/simple-test008/query.xml (+20/-0)
test_models/simple-test009/model.pnml (+151/-0)
test_models/simple-test009/query.xml (+28/-0)
test_models/simple-test010/model.pnml (+151/-0)
test_models/simple-test010/query.xml (+28/-0)
test_models/simple-test011/model.pnml (+148/-0)
test_models/simple-test011/query.xml (+20/-0)
test_models/simple-test012/model.pnml (+148/-0)
test_models/simple-test012/query.xml (+20/-0)
test_models/simple-test013/model.pnml (+189/-0)
test_models/simple-test013/query.xml (+28/-0)
test_models/simple-test014/model.pnml (+189/-0)
test_models/simple-test014/query.xml (+28/-0)
test_models/simple-test015/model.pnml (+189/-0)
test_models/simple-test015/query.xml (+28/-0)
test_models/simple-test016/model.pnml (+151/-0)
test_models/simple-test016/query.xml (+20/-0)
test_models/simple-test017/model.pnml (+221/-0)
test_models/simple-test017/query.xml (+28/-0)
test_models/simple-test018/model.pnml (+94/-0)
test_models/simple-test018/query.xml (+36/-0)
test_models/simple-test019/model.pnml (+94/-0)
test_models/simple-test019/query.xml (+52/-0)
test_models/simple-test020/model.pnml (+134/-0)
test_models/simple-test020/query.xml (+44/-0)
test_models/subsetsum-test001/model.pnml (+202/-0)
test_models/subsetsum-test001/query.xml (+20/-0)
test_models/subsetsum-test002/model.pnml (+202/-0)
test_models/subsetsum-test002/query.xml (+20/-0)
test_models/subsetsum-test003/model.pnml (+260/-0)
test_models/subsetsum-test003/query.xml (+20/-0)
test_models/subsetsum-test004/model.pnml (+260/-0)
test_models/subsetsum-test004/query.xml (+20/-0)
test_models/subsetsum-test005/model.pnml (+247/-0)
test_models/subsetsum-test005/query.xml (+20/-0)
test_models/task-graph-test001/model.pnml (+470/-0)
test_models/task-graph-test001/query.xml (+124/-0)
test_models/trace-test001/model.pnml (+147/-0)
test_models/trace-test001/query.xml (+44/-0)
test_models/trace-test002/model.pnml (+136/-0)
test_models/trace-test002/query.xml (+44/-0)
test_models/trace-test003/model.pnml (+91/-0)
test_models/trace-test003/query.xml (+31/-0)
test_models/trace-test004/model.pnml (+118/-0)
test_models/trace-test004/query.xml (+20/-0)
test_models/trace-test005/model.pnml (+2634/-0)
test_models/trace-test005/query.xml (+20/-0)
test_models/trace-test006/model.pnml (+110/-0)
test_models/trace-test006/query.xml (+17/-0)
test_models/trace-test007/model.pnml (+110/-0)
test_models/trace-test007/query.xml (+17/-0)
test_models/trace-test008/model.pnml (+110/-0)
test_models/trace-test008/query.xml (+17/-0)
test_models/trace-test009/model.pnml (+110/-0)
test_models/trace-test009/query.xml (+17/-0)
test_models/train-simple-test001/model.pnml (+224/-0)
test_models/train-simple-test001/query.xml (+36/-0)
test_models/train-simple-test002/model.pnml (+224/-0)
test_models/train-simple-test002/query.xml (+36/-0)
test_models/train-simple-test003/model.pnml (+224/-0)
test_models/train-simple-test003/query.xml (+36/-0)
test_models/train-simple-test004/model.pnml (+224/-0)
test_models/train-simple-test004/query.xml (+36/-0)
test_models/train-simple-test005/model.pnml (+224/-0)
test_models/train-simple-test005/query.xml (+36/-0)
test_models/transInv-test001/model.pnml (+135/-0)
test_models/transInv-test001/query.xml (+20/-0)
test_models/transInv-test002/model.pnml (+135/-0)
test_models/transInv-test002/query.xml (+20/-0)
test_models/transInv-test003/model.pnml (+125/-0)
test_models/transInv-test003/query.xml (+20/-0)
test_models/transInv-test004/model.pnml (+135/-0)
test_models/transInv-test004/query.xml (+20/-0)
test_models/transInv-test005/model.pnml (+135/-0)
test_models/transInv-test005/query.xml (+20/-0)
test_models/transport-test001/model.pnml (+211/-0)
test_models/transport-test001/query.xml (+20/-0)
test_models/transport-test002/model.pnml (+211/-0)
test_models/transport-test002/query.xml (+20/-0)
test_models/transport-test003/model.pnml (+222/-0)
test_models/transport-test003/query.xml (+20/-0)
test_models/transport-test004/model.pnml (+222/-0)
test_models/transport-test004/query.xml (+20/-0)
test_models/transport-test005/model.pnml (+222/-0)
test_models/transport-test005/query.xml (+20/-0)
test_models/transport-test006/model.pnml (+220/-0)
test_models/transport-test006/query.xml (+20/-0)
test_models/transport-test007/model.pnml (+220/-0)
test_models/transport-test007/query.xml (+20/-0)
test_models/transport-test008/model.pnml (+220/-0)
test_models/transport-test008/query.xml (+20/-0)
test_models/transport-test009/model.pnml (+134/-0)
test_models/transport-test009/query.xml (+20/-0)
test_models/transport-test010/model.pnml (+134/-0)
test_models/transport-test010/query.xml (+20/-0)
test_models/transport-test011/model.pnml (+188/-0)
test_models/transport-test011/query.xml (+34/-0)
test_models/transport-test012/model.pnml (+188/-0)
test_models/transport-test012/query.xml (+34/-0)
test_models/transport-test013/model.pnml (+168/-0)
test_models/transport-test013/query.xml (+34/-0)
test_models/transport-test014/model.pnml (+168/-0)
test_models/transport-test014/query.xml (+34/-0)
test_models/transport-test015/model.pnml (+180/-0)
test_models/transport-test015/query.xml (+20/-0)
test_models/transport-test016/model.pnml (+180/-0)
test_models/transport-test016/query.xml (+20/-0)
test_models/transport-test017/model.pnml (+316/-0)
test_models/transport-test017/query.xml (+36/-0)
test_models/transport-test018/model.pnml (+234/-0)
test_models/transport-test018/query.xml (+36/-0)
test_models/transport-test019/model.pnml (+159/-0)
test_models/transport-test019/query.xml (+80/-0)
test_models/transport-test020/model.pnml (+66/-0)
test_models/transport-test020/query.xml (+36/-0)
test_models/transport-test021/model.pnml (+135/-0)
test_models/transport-test021/query.xml (+73/-0)
test_models/transport-test022/model.pnml (+136/-0)
test_models/transport-test022/query.xml (+55/-0)
test_models/transport-test023/model.pnml (+162/-0)
test_models/transport-test023/query.xml (+39/-0)
test_models/tricky-test001/model.pnml (+215/-0)
test_models/tricky-test001/query.xml (+28/-0)
test_models/tricky-test002/model.pnml (+215/-0)
test_models/tricky-test002/query.xml (+28/-0)
test_models/tricky-test003/model.pnml (+188/-0)
test_models/tricky-test003/query.xml (+34/-0)
test_models/tricky-test004/model.pnml (+125/-0)
test_models/tricky-test004/query.xml (+52/-0)
test_models/untimed-reductions-A-test001/model.pnml (+132/-0)
test_models/untimed-reductions-A-test001/query.xml (+36/-0)
test_models/untimed-reductions-A-test002/model.pnml (+144/-0)
test_models/untimed-reductions-A-test002/query.xml (+44/-0)
test_models/untimed-reductions-A-test003/model.pnml (+149/-0)
test_models/untimed-reductions-A-test003/query.xml (+44/-0)
test_models/untimed-reductions-A-test004/model.pnml (+146/-0)
test_models/untimed-reductions-A-test004/query.xml (+36/-0)
test_models/untimed-reductions-B-test001/model.pnml (+182/-0)
test_models/untimed-reductions-B-test001/query.xml (+44/-0)
test_models/untimed-reductions-B-test002/model.pnml (+177/-0)
test_models/untimed-reductions-B-test002/query.xml (+36/-0)
test_models/untimed-reductions-B-test003/model.pnml (+187/-0)
test_models/untimed-reductions-B-test003/query.xml (+36/-0)
test_models/untimed-reductions-B-test004/model.pnml (+182/-0)
test_models/untimed-reductions-B-test004/query.xml (+36/-0)
test_models/untimed-reductions-B-test005/model.pnml (+163/-0)
test_models/untimed-reductions-B-test005/query.xml (+36/-0)
test_models/untimed-reductions-C-test001/model.pnml (+150/-0)
test_models/untimed-reductions-C-test001/query.xml (+36/-0)
test_models/untimed-reductions-C-test002/model.pnml (+150/-0)
test_models/untimed-reductions-C-test002/query.xml (+36/-0)
test_models/untimed-reductions-C-test003/model.pnml (+150/-0)
test_models/untimed-reductions-C-test003/query.xml (+36/-0)
test_models/untimed-reductions-C-test004/model.pnml (+150/-0)
test_models/untimed-reductions-C-test004/query.xml (+56/-0)
test_models/untimed-reductions-D-test001/model.pnml (+209/-0)
test_models/untimed-reductions-D-test001/query.xml (+36/-0)
test_models/untimed-reductions-D-test002/model.pnml (+224/-0)
test_models/untimed-reductions-D-test002/query.xml (+36/-0)
test_models/untimed-reductions-E-test001/model.pnml (+109/-0)
test_models/untimed-reductions-E-test001/query.xml (+20/-0)
test_models/untimed-reductions-jacob-A-test001/model.pnml (+181/-0)
test_models/untimed-reductions-jacob-A-test001/query.xml (+119/-0)
test_models/untimed-reductions-jacob-B-test001/model.pnml (+259/-0)
test_models/untimed-reductions-jacob-B-test001/query.xml (+76/-0)
test_models/untimed-reductions-jacob-C-test001/model.pnml (+181/-0)
test_models/untimed-reductions-jacob-C-test001/query.xml (+124/-0)
test_models/untimed-reductions-jacob-D1-test001/model.pnml (+228/-0)
test_models/untimed-reductions-jacob-D1-test001/query.xml (+129/-0)
test_models/untimed-reductions-jacob-D2-test001/model.pnml (+150/-0)
test_models/untimed-reductions-jacob-D2-test001/query.xml (+15/-0)
test_models/untimed-reductions-jacob-E-test001/model.pnml (+173/-0)
test_models/untimed-reductions-jacob-E-test001/query.xml (+76/-0)
test_models/untimed-reductions-mads-test001/model.pnml (+140/-0)
test_models/untimed-reductions-mads-test001/query.xml (+47/-0)
test_models/untimed-reductions-mads-test002/model.pnml (+160/-0)
test_models/untimed-reductions-mads-test002/query.xml (+39/-0)
test_models/untimed-reductions-mads-test003/model.pnml (+140/-0)
test_models/untimed-reductions-mads-test003/query.xml (+39/-0)
test_models/untimed-reductions-mads-test004/model.pnml (+156/-0)
test_models/untimed-reductions-mads-test004/query.xml (+44/-0)
test_models/untimed-reductions-mads-test005/model.pnml (+124/-0)
test_models/untimed-reductions-mads-test005/query.xml (+50/-0)
test_models/untimed-reductions-mads-test006/model.pnml (+104/-0)
test_models/untimed-reductions-mads-test006/query.xml (+55/-0)
test_models/untimed-reductions-mads-test007/model.pnml (+152/-0)
test_models/untimed-reductions-mads-test007/query.xml (+15/-0)
test_models/untimed-reductions-mads-test008/model.pnml (+72/-0)
test_models/untimed-reductions-mads-test008/query.xml (+66/-0)
test_models/untimed-reductions-mads-test009/model.pnml (+637/-0)
test_models/untimed-reductions-mads-test009/query.xml (+50/-0)
test_models/untimed-test001/model.pnml (+140/-0)
test_models/untimed-test001/query.xml (+84/-0)
test_models/untimed-test002/model.pnml (+128/-0)
test_models/untimed-test002/query.xml (+20/-0)
test_models/untimed-test003/model.pnml (+128/-0)
test_models/untimed-test003/query.xml (+20/-0)
test_models/untimed-test004/model.pnml (+1021/-0)
test_models/untimed-test004/query.xml (+327/-0)
test_models/untimed-test005/model.pnml (+1035/-0)
test_models/untimed-test005/query.xml (+121/-0)
test_models/untimed-test006-philosophers/model.pnml (+856/-0)
test_models/untimed-test006-philosophers/query.xml (+63/-0)
test_models/untimed-test007-swimming-pool/model.pnml (+233/-0)
test_models/untimed-test007-swimming-pool/query.xml (+55/-0)
test_models/untimed-test008/model.pnml (+87/-0)
test_models/untimed-test008/query.xml (+20/-0)
test_models/untimed-test009/model.pnml (+129/-0)
test_models/untimed-test009/query.xml (+28/-0)
test_models/untimed-test010/model.pnml (+94/-0)
test_models/untimed-test010/query.xml (+36/-0)
test_models/untimed-test011/model.pnml (+134/-0)
test_models/untimed-test011/query.xml (+84/-0)
test_models/urgency-test001/model.pnml (+78/-0)
test_models/urgency-test001/query.xml (+76/-0)
test_models/urgency-test002/model.pnml (+82/-0)
test_models/urgency-test002/query.xml (+76/-0)
test_models/urgency-test003/model.pnml (+105/-0)
test_models/urgency-test003/query.xml (+44/-0)
test_models/urgency-test004/model.pnml (+266/-0)
test_models/urgency-test004/query.xml (+68/-0)
test_models/urgency-test005/model.pnml (+274/-0)
test_models/urgency-test005/query.xml (+52/-0)
test_models/urgency-test006/model.pnml (+301/-0)
test_models/urgency-test006/query.xml (+124/-0)
test_models/urgency-test007/model.pnml (+192/-0)
test_models/urgency-test007/query.xml (+108/-0)
test_models/urgency-test008/model.pnml (+193/-0)
test_models/urgency-test008/query.xml (+108/-0)
test_models/urgency-test009/model.pnml (+209/-0)
test_models/urgency-test009/query.xml (+108/-0)
test_models/urgency-test010/model.pnml (+514/-0)
test_models/urgency-test010/query.xml (+36/-0)
test_models/urgency-test011/model.pnml (+514/-0)
test_models/urgency-test011/query.xml (+36/-0)
test_models/urgency-test012/model.pnml (+269/-0)
test_models/urgency-test012/query.xml (+120/-0)
test_models/urgency-test013/model.pnml (+269/-0)
test_models/urgency-test013/query.xml (+120/-0)
test_models/urgency-test014/model.pnml (+243/-0)
test_models/urgency-test014/query.xml (+60/-0)
test_models/urgency-test015/model.pnml (+543/-0)
test_models/urgency-test015/query.xml (+52/-0)
test_models/urgency-test016/model.pnml (+258/-0)
test_models/urgency-test016/query.xml (+60/-0)
test_models/urgency-test017/model.pnml (+265/-0)
test_models/urgency-test017/query.xml (+36/-0)
test_models/weighted-test001/model.pnml (+268/-0)
test_models/weighted-test001/query.xml (+68/-0)
test_models/weighted-test002/model.pnml (+295/-0)
test_models/weighted-test002/query.xml (+20/-0)
test_models/weighted-test003/model.pnml (+312/-0)
test_models/weighted-test003/query.xml (+50/-0)
test_models/weighted-test004/model.pnml (+294/-0)
test_models/weighted-test004/query.xml (+178/-0)
test_models/workflow-test001/model.pnml (+162/-0)
test_models/workflow-test001/query.xml (+20/-0)
test_models/workflow-test002/model.pnml (+162/-0)
test_models/workflow-test002/query.xml (+20/-0)
test_models/workflow-test003/model.pnml (+162/-0)
test_models/workflow-test003/query.xml (+20/-0)
test_models/workflow-test004/model.pnml (+167/-0)
test_models/workflow-test004/query.xml (+20/-0)
test_models/workflow-test005/model.pnml (+172/-0)
test_models/workflow-test005/query.xml (+20/-0)
test_models/workflow-test006/model.pnml (+172/-0)
test_models/workflow-test006/query.xml (+20/-0)
test_models/workflow-test007/model.pnml (+237/-0)
test_models/workflow-test007/query.xml (+20/-0)
test_models/workflow-test008/model.pnml (+237/-0)
test_models/workflow-test008/query.xml (+20/-0)
test_models/workflow-test009/model.pnml (+237/-0)
test_models/workflow-test009/query.xml (+20/-0)
test_models/workflow-test010/model.pnml (+1304/-0)
test_models/workflow-test010/query.xml (+156/-0)
test_models/workflow-test011/model.pnml (+428/-0)
test_models/workflow-test011/query.xml (+68/-0)
test_models/workflow-test012/model.pnml (+599/-0)
test_models/workflow-test012/query.xml (+76/-0)
test_models/workflow-test013/model.pnml (+351/-0)
test_models/workflow-test013/query.xml (+116/-0)
test_models/workflow-test014/model.pnml (+351/-0)
test_models/workflow-test014/query.xml (+116/-0)
test_models/workflow-test015/model.pnml (+378/-0)
test_models/workflow-test015/query.xml (+116/-0)
test_models/workflow-test016/model.pnml (+583/-0)
test_models/workflow-test016/query.xml (+87/-0)
toolchain-x86_64-w64-mingw32.cmake (+17/-0)

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: VerifyPN Maintainers

Project:: verifypn

Status:: Merged

Recent revisions

364. By <email address hidden> on 2020-09-11: updated README with compilation instructions for mac
363. By Kenneth Yrke Jørgensen on 2020-09-11: Updated readme
362. By Kenneth Yrke Jørgensen on 2020-08-18: Updated readme with info for cross-compile
361. By Kenneth Yrke Jørgensen on 2020-07-09: Updated argeument for cross compile glpk for windows
360. By <email address hidden> on 2020-07-08: updated readme as TAR is now possible for all platforms
359. By <email address hidden> on 2020-07-08: allowed compilation for Mac
358. By Peter G. Jensen <email address hidden> on 2020-07-06: another missing inhib check
357. By Peter G. Jensen <email address hidden> on 2020-07-06: removing unused glpk import from STSolver
356. By Peter G. Jensen <email address hidden> on 2020-07-06: fixed handling of inhibitor
355. By Peter G. Jensen <email address hidden> on 2020-07-03: inhibitor arcs are not yet handled by TAR solver, so return error if used with TAR

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

Stacked on:: lp:verifypn

This branch contains Public information

Everyone can see this information.

Subscribers

Peter Gjøl Jensen