Merge proposals dependent on lp:~tapaal-contributor/tapaal/cpn-openPNML2

lp:~tapaal-contributor/tapaal/cpn-openPNML2 has no merge proposals.