机译:PetriBaR:用于Petri网的MATLAB工具箱,用于实现基础可达性方法
机译:Petri网可达性空间的基础标记表示及其在可达性问题中的应用
机译:基于组成Petri网的命令式程序行为模拟
机译:Petri网中的成分可达性
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:施工应用可达性定时培养网的分析/ Petri时间网络可替代性建设分析
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,