论文范文网-权威专业免费论文范文资源下载门户!
当前位置:毕业论文格式范文>文献综述>范文阅读
快捷分类:

关于Petri论文范文 任务分解的Petri网方法与有效性相关论文写作参考文献

分类:文献综述 原创主题:Petri论文 更新时间:2023-12-27

任务分解的Petri网方法与有效性是大学硕士与本科Petri毕业论文开题报告范文和相关优秀学术职称论文参考文献资料下载,关于免费教你怎么写Petri方面论文范文。

摘 要:任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的.对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统.通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效.另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁.将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题.

关键词:Petri网;任务分解;有效性;多主体

中图分类号:TP302文献标识码:A文章编号:1672-1098(2008)01-0085-05

收稿日期:2007-07-06

基金项目:安徽省高等学校青年教师科研“资助计划”项目(2007jq1039);安徽理工大学硕士博士基金资助项目

作者简介:方欢(1982-),女,安徽池州人,讲师,硕士,研究方向为Petri网理论及应用.

The Petri Net Method of Task Decomposition and

Its Validity Research

FANG Huan1,CUI Huan-qing2,WANG Li-li1

(1. School of Science, Anhui University of Science and Technology, Huainan Anhu ,232001,China;2. School of Information Science and Engineering, Shandong University of Science and Technology, Qingdao Shandong 266510, China)

Abstract: Task decomposition is the key to multi-agent system implementation. It is necessary to describe and validate the task decomposition structure by a formal method. The task decomposition is modeled by Petri Nets for the ordinary logical expressions of task decomposition, and the Petri net of task decomposition is obtained, after deleting unreasonable structure of task decomposition, the Petri net of valid task decomposition is obtained. By checking whether the Petri net of valid task decomposition exists, the task decomposition is valid or not can be judged. Furthermore, for any finite P/T net, the sufficient conditions for judging if invalid task decomposition structure exists, are proposed, and accordingly that only first-level live transitions exist in the valid task decomposition Petri net system is proven. The fundamental problem is solved by combination of task decomposition validation and liveness of Petri net system.

Key words: petri net; task decomposition; validity; multi-agent

由于多主体系统不仅能提供很好的系统鲁棒性和效率,能为现存的传统系统提供互操作性,还能求解那些数据、技术及控制等多种异构资源同时存在的问题,因此,多主体系统已越来越受到人们的重视.

多主体系统主要研究一组自治智能主体之间智能行为的协调问题,在实现具体多主体系统的过程中,首先面临这样的一些问题:如何在一组智能主体中形式化地表示、描述问题?如何分解、分配任务以及综合各个主体的结果[1-2]?多主体之间的协作存在并发和同步现象,因而可以利用Petri网对多主体的行为进行建模[3-5],通过模型来了解主体之间的相互关系.另外,多主体系统中的多个主体可能只有一个求解目标,也可能有多个目标,对于这些给定的各个子目标如何在多主体之间协作实现,也可以利用Petri网求解这些子目标任务的完成序列及相关的分配工作[6-8],为多主体系统的实现提供正确分析的依据.

以上这些工作都没有涉及到任务的形式化分解,即给定一个大的系统总目标,如何将这个大的总目标分解成各个子目标,在这个基础上再考虑任务的分配等问题.可见,任务的分解是多主体系统实施任务分配的前提,也是多主体系统实施协作的关键,因此借助一种形式化方法对任务分解进行建模并对任务分解的有效性及正确性加以验证,是十分必要的.

利用Petri网将总目标G 进行逻辑分解,使分解得到的子目标可以被单个主体完成,然后运用Petri 网的形式化分析方法对任务分解的正确性进行分析和验证是本文的主要工作.

记号N等于(S,T;F)表示一个Petri网结构,•x表示x的前集,x•表示x的后集,其中x∈S∪T.

1 基于Petri网的任务分解

首先,假定给定的总目标G 逻辑上能分解成若干个能被某个工作者主体单独完成的子目标.可以将G进行逻辑分解,分解得到若干个子目标,每个子目标又可以继续进行逻辑分解,如此进行下去,直到得到一系列的不可再分解的小目标.

记那些不能继续进行逻辑分解的目标为原子目标,而可以进行分解的目标为中间目标. 记号f1(g1,g2,等,gm)g表示中间目标g可以分解成子目标g1,g2,等,gm的逻辑关系组合.

定义1 若谓词公式A有如下形式(类合取范式):B1∧B2∧等∧Bm,其中Bi(i等于1,2,等,m)形如

L1∨L2∨等∨Lj,其中Lk∈{L1,L2,等,Ln}(k等于1,2,等j),并且L1,L2,等,Ln都是文字,则称A为类合取范式.

定理1 任何一个类似f1(g1,g2,等,gm)g的表达式,其左部f1(g1,g2,等,gm)总可以转换为类合取范式的形式.

证 明 根据谓词逻辑的知识,任何一个逻辑关系式都可以化简成合取范式,而通过定义1可知,类合取范式可以通过添加项得到合取范式,而合取范式通过化简也可以得到类合取范式,因此可以将任何一个f1(g1,g2,等,gm)转换为类合取范式的形式.

总结:本文是一篇关于Petri论文范文,可作为相关选题参考,和写作参考文献。

参考文献:

1、 武术套路动作分解过程模式识别方法 摘 要: 针对传统的武术套路分解过程中动作分解模式识别时,存在动作无法连续识别缺少细节特征的问题,提出武术套路动作分解过程中,使用NReJ3D技。

2、 提高中职经济政治和社会课堂有效性方法探析 摘 要:在中职的《经济政治与社会》教学中,学生的积极性较差,很多学生都不重视这一学科。本文探析了提高中职《经济政治与社会》课堂有效性的方法,供相。

3、 CSGⅡ配网生产域数据质量提升方法 [摘 要] 以南方电网企业管理信息系统(以下简称CSGⅡ)推广、企业信息化建设为背景,围绕建设过程中反映出的配网生产域数据质量问题展开论述,从数。

4、 网红营销价值计算方法 Papi酱贴片广告拍出了2200万元高价,这为一线网红的市场价格提供了一个很高的锚点。那么,如何计算不掺水的网红实际营销价值?以往投放媒介都有。

5、 企业内审有效性方法和途径分析 摘要:内审是企业内部控制的一个基本环节,承担着组织管理、堵塞漏洞、提高工作效率等重要任务, 另外它也是组织内部监督的重要组成部分,保证了对内部控。

6、 中国区域税收增长变动因素分解分析基于LMDI分解方法 摘要:经济新常态背景下,税收增速下滑,探索税收新的增长点就显得非常必要。运用LMDI指数分解方法,从宏观角度分解出税收增长的影响因素,并以200。