机译:定时自动机何时与Time Petri Nets弱定时双相似?
Time Petri nets; Timed automata; Weak timed bisimilarity;
机译:定时自动机何时与Time Petri Nets弱定时双相似?
机译:从定时Petri网到定时自动机的高效转换方法
机译:定时Petri网和定时自动机:论Zeno序列的判别能力
机译:当定时自动机是弱定步的培养网?
机译:定时Petri网的状态空间的分布式生成。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:定时自动机何时弱于时间Petri网的双相似性?