.gitignore

CMakeLists.txt

LICENSE

README.md

app/CMakeLists.txt

app/main.cpp

case_studies/models/Blind Auction with hierarchy.cpn

case_studies/models/Blind Auction without hierarchy.cpn

case_studies/reports/cpnTools_report_01.txt

case_studies/reports/cpnTools_report_02.txt

case_studies/reports/cpnTools_report_03.txt

case_studies/reports/cpnTools_report_04.txt

case_studies/reports/cpnTools_report_07.txt

case_studies/reports/cpnTools_report_08.txt

case_studies/reports/cpnTools_report_09.txt

case_studies/reports/cpnTools_report_11.txt

case_studies/reports/cpnTools_report_12.txt

case_studies/reports/cpnTools_report_13.txt

case_studies/reports/cpnTools_report_14.txt

case_studies/reports/cpnTools_report_17.txt