...
机译:基于规则的高级安全网保留安全属性
Petri nets; High-level nets; Algebraic specification; Safety property; Rule-based refinement;
机译:在逐步完善基于Petri网的合成中保留语言和属性
机译:具有多种颜色的增强型高级Petri网,用于基于规则的专家系统的知识验证/确认
机译:保持跟踪集属性在楼梯上的保持一致性:以信息流属性和策略为例
机译:基于规则的高级网保留安全属性的细化
机译:使用金属卤化物的硅质结构的保形转化反应:性能,动力学和潜在应用。
机译:通过可视化算法构建的网络中保留的Ising模型和Kuramoto模型的属性分析
机译:基于规则的高级安全网保留安全属性