fixing problem with CPN model parsing overflow and query parsing overflow - #232

fixing problem with CPN model parsing overflow and query parsing overflow#232

srba merged 2 commits into

mainTAPAAL/verifypn:mainfrom

overflow-tests-cpn-queryTAPAAL/verifypn:overflow-tests-cpn-queryCopy head branch name to clipboard