Viewing all changes in revision 200.
- Committer: Jiri Srba
- Date: 2018-04-18 10:58:36 UTC
- mfrom: (197.3.78 cpn_ctlss)
- Revision ID: srba.jiri@gmail.com-20180418105836-a5rha272u0om4u77
merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/
CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules
CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules
- files added:
- CMakeLists.txt
- PetriEngine/Colored
- PetriEngine/TAR
- Scripts/Comparison
- files removed:
- CTL/SearchStrategy/DFSSearch.cpp
- files modified:
- .bzrignore
expand all
collapse all
added
removed
