机译:基于Agent Petri网形式主义的多Agent系统元建模与验证方法
机译:基于Petri网和重写逻辑基于多功能关键系统的多智能临界系统正式分析
机译:基于逻辑的Petri网的模型检查多主体系统
机译:基于面向对象的Petri网的多智能体体系结构描述语言
机译:大规模Petri网的结构:与更高层次的形式主义有关的多主体系统设计
机译:使用Petri网的多智能体系统建模与分析方法
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:基于代理人Petri网络形式主义的多助理系统的元建模和验证方法