机译:定时Petri网和定时自动机:论Zeno序列的判别能力
机译:定时自动机何时与Time Petri Nets弱定时双相似?
机译:保留TCTL的功能,从定时弧Petri网到定时自动机网络的转换
机译:从定时Petri网到定时自动机的高效转换方法
机译:定时Petri网和定时自动机:论Zeno序列的鉴别能力
机译:定时Petri网的状态空间的分布式生成。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:定时Petri网和定时自动机:论Zeno序列的判别能力