LIPN, CNRS UMR 7030, Institut Galilee - Universite Paris XIII, France;
Onera, Chatillon, France;
Onera, Chatillon, France;
coloured petri nets; chronicle recognition formal modelling; distributed simulation processing;
机译:基于P-Time Petri网和突尼斯铁路网络纪念识别的分布式监测
机译:用于高效建模逻辑或的新型高级Petri网:彩色AND / OR Petri网(CARPN)
机译:彩色Petri网和地点/过渡网的等价方法
机译:彩色培养网为纪念碑识别
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:彩色培养网的分布式仿真处理建模纪录识别