time petri nets; timed automata; weak timed bisimilarity;
机译:定时自动机何时与Time Petri Nets弱定时双相似?
机译:保留TCTL的功能,从定时弧Petri网到定时自动机网络的转换
机译:从定时Petri网到定时自动机的高效转换方法
机译:当定时自动机是弱定步的培养网?
机译:定时Petri网的状态空间的分布式生成。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:定时自动机何时弱于时间Petri网的双相似性?