...
机译:使用Petri网的基于语言的不透明性验证的深度搜索方法
Discrete-event systemPetri netOpacity verificationdepth-first search;
机译:标记Petri网中基于语言的不透明度的代数表征
机译:标记Petri网中基于语言的不透明度的代数表征
机译:电流状态不透明度建模和验证在部分观察到Petri网
机译:使用验证程序验证Petri网中基于语言的不透明度
机译:组成分层时间Petri网的验证方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用Petri网验证基于国家的不透明度
机译:使用petri网建模不透明度