下载文档原格式
可执行体系结构的HCPN建模方法倪枫;王明哲;周丰;杨翠蓉【摘要】美国国防部体系结构框架(DoDAF)作为一种通用的系统体系结构描述规范,得到业界的广泛认可.但由于其本身描述形式的局限,无法支持对集成系统体系结构动态特性的分析.在建立DoDAF产品描述与层次化着色Petri网(HCPN)不同建模语言间对应关系的基础上,提出了以集成体系结构操作活动模型(OV-5)、操作规则模型(OV-6a)、逻辑数据模型(OV-7)为主体的可执行模型五阶段建模方法.旨在使由DoDAF体系结构产品建立HCPN可执行模型的过程规范化、步骤化,为实现体系结构可执行模型的自动转换提供技术支持.【期刊名称】《系统工程与电子技术》【年(卷),期】2010(032)005【总页数】7页(P959-965)【关键词】可执行体系结构;国防部体系结构框架;层次化着色Petri网;建模方法【作者】倪枫;王明哲;周丰;杨翠蓉【作者单位】华中科技大学控制科学与工程系,湖北,武汉,430074;华中科技大学控制科学与工程系,湖北,武汉,430074;华中科技大学控制科学与工程系,湖北,武汉,430074;华中科技大学控制科学与工程系,湖北,武汉,430074【正文语种】中文【中图分类】N940 引言在分布式网络信息技术快速发展的当今世界,集成化大系统作为一个由多个交互式组件系统组成的联合体,被称为“系统之系统”[1],成为系统工程领域研究的新热点。
随着集成系统组织结构的分布化、扁平化发展,各组件系统呈现出组织结构松散而信息关联紧密的特点。
为了规划集成系统能力、协调各个组件系统的角色、保证互操作性和实现组件系统“即插即用”,美国国防部在2007年颁布了国防部体系结构框架《DoDAF:Department of Defense A rchitecture Framework》的1.5版本[2-4]。
DoDAF以三个视图:操作视图(operation view,OV)、系统与服务视图(systemand service view,SV)、技术标准视图(technical standard view,TV)和26个产品(products)构成一套集成系统体系结构设计描述规范,成为当今世界的主流标准。
基于CPN建模的行动方案开发与分析系统设计
杨俊强;杜佳
【期刊名称】《指挥控制与仿真》
【年(卷),期】2007(029)002
【摘要】协助和支持军事计划人员制订和分析作战计划的建模与仿真能力是军方的现行需求,而行动方案的开发与分析则是作战计划建模与仿真的重点.针对作战计划过程期间开发的军事任务的排序与调度问题,设计了一个行动方案开发与分析系统,系统采用客户机-服务器体系结构,运用基于有色Petri网建模的军事计划领域的概念表示法,并使用状态空间分析技术完成军事任务的自动化排序与调度.军事计划人员通过图形用户界面使用系统,在面对紧急突发事件时,可以快速及时地开发出适当可行的COA,并对COA进行逻辑可行性分析.
【总页数】5页(P92-96)
【作者】杨俊强;杜佳
【作者单位】解放军理工大学,江苏,南京,210007;西安通信学院,陕西,西安,710106;西安通信学院,陕西,西安,710106
【正文语种】中文
【中图分类】E83;TP391.9
【相关文献】
1.基于CPN的列控系统等级转换建模与分析 [J], 董健;戴胜华
2.基于UML和CPN的列控系统等级转换建模与分析 [J], 朱爱红;宋丽梅
3.基于运营场景的跨界临时限速CPN建模分析 [J], 马磊
4.基于CPN的停车场收费系统建模与仿真分析① [J], 郑雪文; 方欢
5.基于CPN的安全协议形式化建模及安全分析方法 [J], 龚翔;冯涛;杜谨泽
因版权原因，仅展示原文概要，查看原文内容请购买。
基于着色Pe工ri网的企业间电子商务工作流建模作者：张格王纬武代月川来源：《科技视界》 2014年第23期张格王纬武代月川（郑州大学西亚斯国际学院，河南新郑 451150）【摘要】基本的Petri网有一个重大缺陷就是对相对复杂的过程进行建模的时候，模型过于庞大复杂。
本文提出了一种基于着色Petri网对企业间电子商务(B2B)流程进行建模的方案，并进行了结构合理性论证。
结果表明应用着色Petri网建模的流程模型中库所和变迁都大为减少，图形简约易懂。
【关键词】电子商务；B2B；工作流；着色Petri网工作流管理系统的非常重要的目就是要支持对时间信息的处理。
例如计划工作流的运行时间、估计活动实例的执行时间延迟、避免违反截止期限等。
开展时间管理研究，对于增强工作流管理系统的柔性、确保工作流计划任务的高效执行和提高企业工作竞争力具有重要意义。
现代B2B电子商务工作流程中涉及到多个层级多个部门，在使用普通Petri网进行描述时，往往由于规模过大、细节过多、表示复杂使得其难以理解。
本来很简单的流程变成只有专业人士才能阅读的Petri网模型。
为此，笔者提出一种基于着色Petri网(CPN)对电子政务流程进行建模的方法，通过合并一些库索和变迁，使得P和T的数量大大减少，图形更加简约。
并对模型结构的合理有效性进行论证。
1 着色Petri网(CPN)的定义CPN 可以表示成九元组形式,即CPN=(Σ, P, T, A, N, C, G, E, I) 中，Σ：为颜色(Color)的非空有限集合，称作颜色集(Color set)；P：为描述系统库所(Place)的有限集合；T：为变迁(Transition)的有限集合；A：为弧(Arc)的有限集合，满足；P∩T=P∩A=A∩T=?覬N：A→(P×T∪T×P)为节点(Node)有限集函数；C:(P∪T)→Σss, 是着色函数(color function)，其中Σss是Σ的有限子集；G：T→表达式，是T 的警卫函数(guard function)，且满足：t∈T：[Type(G(a))=Bool∧Type(Var(G(t)))?哿Σ]，Bool={true, false}；E：A→表达式，是弧表达式函数(arc expression functions)，且满足?坌a∈At：[Type(E(a))=C(p(a))MS∧Type(Var(E(a)))?哿Σ]；I：为P→表达式的初始标识，且满足?坌p∈P：[Type(I(p))=C(p)MS∧Var(I(p))=?覬].2 着色Petri网的特点CPN 与普通网有两个最基本和重要的区别：（１）CPN的着色类型的标定表示系统中不同类型的资源，同时每个库所都与特定的颜色集绑定，表示该库所中只能存放相应颜色的token，在弧上和变迁上存在着条件表式和函数，说明弧的权值和颜色属性以及变迁触发的约束条件。
