机译:将独立的,增长的,自由选择的Petri网应用到在任意Petri网中强制执行生命活动的策略的综合中
机译:Petri网上用于分布式对象的监督控制的建模和综合。二。一组通用形式序列的主管综合方法
机译:基于扩展Petri网的资源优化分配的协议合成和重新合成
机译:用于合成B界Petri网的硬度
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:铁磁ε-Fe2MnN:高压合成硬度和磁性能
机译:独立,增加,自由选择petri网在任意petri网中强制生存策略综合中的应用
机译:具有局部性的petri网的合成