机译:标记Petri网中基于语言的不透明度的代数表征
OpacityPetri netsDESILP problems;
机译:标记Petri网中基于语言的不透明度的代数表征
机译:使用Petri网的基于语言的不透明性验证的深度搜索方法
机译:使用标记的Petri网验证无限阶段不透明度
机译:基于语言的碳水化合物缺陷性的代数特征
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:磁共振成像的靶向前列腺癌细胞的抗体标签超顺磁性氧化铁造影剂的开发与表征
机译:Petri网与黑色标记,纯名称和有序数据的基于语言的比较。
机译:使用petri网建模不透明度