论文部分内容阅读
提出一套保持面向对象Petri网性质的约简规则和检测方法。该方法运用面向对象的概念和技术，为对象子网进行分层，且在保持子网性质的前提下，利用约简规则依次简化每层对象子网，并同时检测对象子网以及相应对象子网间的死锁关系，直到所有对象处理完毕。最后通过实例对所提出的方法进行了验证，验证结果表明该方法的提出大大减少了网中的节点，有效降低了面向对象Petri网中死锁检测的复杂度。