Petri net; embedded system; model;
机译:扩展时间Petri网和混合Petri网:建模多实例动态混合系统
机译:一类用于离散事件系统建模和仿真的扩展时间Petri网
机译:移动计算系统的建模与分析:扩展的Petri网形式主义
机译:用于嵌入式系统建模的扩展Petri网EPRES
机译:具有扩展对象模型和广义随机Petri网的网络模拟器设计。
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:基于扩展petri网的嵌入式系统建模与验证