...
机译:基于修改的可达树的一处无界Petri网的死锁检查
机译:复杂可及树及其在无穷Petri网死锁检测中的应用
机译:一种新的改进的可达树方法及其在无穷Petri网中的应用
机译:关于“一种改进的可达树分析无穷Petri网的方法”的评论
机译:基于修正可达树的一处无界Petri网分析
机译:柔性制造系统中的死锁解决方案:一种基于Petri网的方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于基于Siphon的死锁控制算法,具有最大可达数量,以应对普通Petri网的死锁问题
机译:使用有限完整前缀进行死锁和可达性检查