机译:使用Petri网对复杂工业系统进行建模的结构化方法的形式化:在Ultra Grands Fonds海上采油系统中的应用
机译:Petri网对结构复杂的工业系统建模的结构化方法的形式化:在超大型基金海上石油生产系统中的应用
机译:Petri网对结构复杂的工业系统建模的结构化方法的形式化:在超大型基金海上石油生产系统中的应用
机译:UML和Petri网:实现嵌入式系统需求的形式化
机译:一种控制系统标准化方法,可满足各种变电站更换需求
机译:扩散系统中的建模和形式上下文规范及其预测:一种基于时间逻辑和随机模型的方法
机译:使用Petri网对复杂工业系统进行建模的结构化方法的形式化:在Ultra Grands Fonds海上采油系统中的应用