一种针对CP-nets并发模型的验证方法,孙涛,叶新铭,状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出基于并发属性的模型化简方法和基于功能组合的模型抽象方法对模型��