-
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