Major hazard identification; HAZOP; Coloured petri nets;
机译:基于等级彩色Petri网和马尔可夫链的网络控制系统建模与分析
机译:使用遗传算法(GA)和彩色定时Petri网(CTPN)对通用生产调度系统的基于优化的调度生成器进行建模
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:基于Hazop和彩色Petri网的复杂系统风险评估的行为模型
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:基于系统行为的嵌入式系统异构层次彩色Petri网软件/硬件体系结构视图
机译:用有色petri网建模环境系统。