Composition; Embedded Systems Design; High-level Petri nets; Modularity;
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:使用嵌入式Petri网的基于微控制器的过程监控和管理
机译:用于嵌入式控制器设计的高级Petri网模块
机译:使用模糊定时高级Petri网进行协议建模,分析和设计。
机译:基于结构模块和定时Petri网预测系统动力学的准稳态分析:胰岛素受体的生命周期
机译:用于FPGA嵌入式系统设计的模糊控制器IP模块的开发
机译:用于分布式机器人系统的petri网控制器