主体计划的Petri网方法及正确性验证.pdf

25卷第10期 微电子学与计算机 Vd．25No．10 October2008 2008年10月 MICROELECrR∞IICSCOⅧⅥER 主体计划的Petri网方法及正确性验证 方欢1，吴哲辉2 (1安徽理工大学理学院，安徽淮南232001；2山东科技大学信息科学与工程学院，山东青岛266510) 摘要：主体计划的生成问题是多主体系统实现的一个关键问题．为了实现多主体系统中的计划自动生成以及对 生成的计划进行验证，以任务有效分解的Petri网模型为基础，提出了计划提取的方法并对相关的正确性运用同步 器进行验证．首先，通过对网系统的可达性分析得到所有计划的集合，组成多主体系统的计划库．其次，根据同步网 的相关思想，对计划库中的每一个计划的正确性进行了形式化的验证，从而为多主体系统的实现提供了保证． 关键词：多主体；计划；Petri网；同步器 中图分类号：TP302 文献标识码：A 文章编号：1000—7180(2008)10—0037一03 The BasedonPetriNets AgentPlanning anditsValidationMethod FANGHuanl．WUZhe—hui2 and of ofScience 232001，China；2of (1CollegeScience，AnhuiUniversity Technology，Huainan College of and InformationScienceand Science 266510，China) Engineering，ShandongUniversity Technology，Qiugdao in realizeauto— Abstract：Generationof isfl issuethe realization，inordertO the agentplanningkey multi—agentsystem of the matic of andvalidatethem，onthebasistaskvalid model，the generationagents’plans decompositionpaperproposes can thePetrinet methodof andvalidateseach obtainedthrough extractingplans planbysynchronizer．Firstly，allplans all whichcanreachthewhole composethe basein system． systemreachabilityanalysis，theplans goal