机译:工具TINA-构建Petri网和Time Petri网的抽象状态空间
LAAS-CNRS, 7 avenue du Colonel Roche, 31077 Toulouse Cedex, France;
机译:带秒表的时间Petri网的可达性问题和抽象状态空间
机译:带秒表的时间Petri网的可达性问题和抽象状态空间
机译:STEPP搜索工具,用于探索陪替氏网路径:生化网络中基于陪替氏网的路径分析的新工具
机译:摘要状态空间培养培养网分析
机译:定时Petri网的状态空间的分布式生成。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:施工应用可达性定时培养网的分析/ Petri时间网络可替代性建设分析
机译:petri网的时间代数原型工具