机译:基于逻辑的Petri网的模型检查多主体系统
verification; model checking; petri nets; agent oriented programming; concurrency;
机译:基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
机译:基于Petri网和重写逻辑基于多功能关键系统的多智能临界系统正式分析
机译:基于Agent Petri网形式主义的多Agent系统元建模与验证方法
机译:基于模态逻辑和扩展高阶Petri网的多智能体系统分散控制
机译:使用模型检查和Petri网设计和分析系统。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于逻辑的多智能体系统模型的仿真和统计模型检验
机译:具有公平约束的petri网线性时态逻辑性质模型检验。