Universidad de Zaragoza (Spain).;
机译:使用定时扩展面向对象Petri网的晶圆制造系统的性能建模,实时调度和仿真
机译:由Petri网建模的具有未知输入和离散动力学的线性混合系统的可观测性。
机译:迈向由P-时间Petri网建模的实时系统的可调度性新技术
机译:使用时间Petri网分散实施实时系统。应用于移动机器人控制
机译:通过模糊定时Petri网对网络实时系统进行建模和分析。
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:基于时间Petri网的嵌入式实时系统建模与分析的集成方法