机译:基于Petri网可达性的逃逸时间修正分形图像生成算法
escape-time algorithm; reachability problem; Petri net; chaos game; iterated function system; PN duality;
机译:基于改进的可达树的独立Petri网活跃度分析
机译:基于修改的可达树的一处无界Petri网的死锁检查
机译:一种基本的基于虹吸的死锁控制算法,具有最大可到达的数目以应对普通Petri网中的死锁问题:
机译:基于分形Petri网的分布式系统模式类型可达性分析
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:改进的沙盒算法对加权网络进行多重分形分析
机译:基于修改的可达性树的Petri净可达性问题的方法
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,