主体计划的Petri网方法及正确性验证
主体计划的生成问题是多主体系统实现的一个关键问题。为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证.
多主体系统 主体计划 Petri网 正确性
方欢 吴哲辉
安徽理工大学理学院,安徽,淮南,232001 山东科技大学信息科学与工程学院,山东,青岛,266510
国内会议
扬州
中文
37-39
2008-10-25（万方平台首次上网日期，不代表论文的发表时间）