Petri nets; Problem Frames; controller design; simulation;
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:基于Petri网和矩阵模型的可重构逻辑控制器实现方法
机译:控制器设计与实现:基于问题帧和Petri网模型的方法
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用基于Petri网的模型的进化方法:从并行控制器到硬件/软件协同设计