机译:使用分层基础可达性图标记Petri网中的估计
机译:语言的平等与有界和持久Petri网的可到达状态图的同构一致
机译:有界Petri网的层次可及性图,用于并发软件分析
机译:普通,有界,可逆,持久和带有k标记的Petri网具有标记图可达性图
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:Petri网可达性空间的基础标记表示及其在可达性问题中的应用
机译:用整数规划验证有界petri网