- 1、本文档共3页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
主体计划的Petri网方法及正确性验证
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
文档评论(0)