基于UML&OPN的C^4ISR系统体系结构仿真验证研究

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效、合理地评估系统的性能。

基于对象Petri网的防空反导建模与仿真

针对防空反导要素多、过程复杂的特点,详细分析了导弹预警与防御拦截流程,结合对象Petri网建模方法,对防空反导建模中涉及到的关键节点、信息流、影响因素等要素进行分析,应用指挥控制、冲突处理等机制,自底向上建立防空反导的对象Petri网模型,并通过简单案例,初步验证了所用方法与模型对研究防空反导信息优势的可行性与适用性。

基于Petri网的工作流模型的研究

介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工作流网的模型,以提高模型的可读性和重用性,实现流程的分层建模,降低建模复杂度。通过一个具体实例阐述了如何建立扩展工作流网模型,并通过简化技术和可达树分析方法,验证了模型的活性。

作战事件跟踪描述建模及验证方法研究

为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法。在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例。最后,结合防空作战过程给出该方法的一个应用案例。

基于知识的工件物流系统调度模型构造与实现

将Petri网与专家系统相结合 ,采用面向对象的方法 ,建立了工件物流系统模型 .文中还介绍了基于模型的各种策略实现方法并开发了相应的软件 ,最后给出了仿真实验 .仿真实验结果表明 ,该模型结构简单 ,且建模方法容易实现专家系统与Petri网相结合 ,容易实现调度策略的柔性化和专家系统基于知识的分析咨询功能 .

基于Petri网模型的主动对象研究

本文分析了Ｐｅｔｒｉ网及其动态行为特性，扩充了事件、条件、动作等成份的内涵，引入了基于Ｐｅｔｒｉ网事件驱动的主动对象模型，并分析了该主动对象的性质。

基于面向对象着色Petri网的FMS仿真研究

<正>1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下。

面向对象Petri网继承性的研究

面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题。针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活。

基于AGV柔性物流系统调度策略的实现

讨论了在柔性物流系统中各种工件的流动调度策略 ,使用面向对象的高级 Petri网给工件物流系统建模 。

多媒体信息表现中资源竞争的研究

多媒休信息的表现与同步是多媒体系统,特别是多媒体电子邮件、计算机支持的协同工作虚拟现实模拟及分布式多媒体计算的关键技术。应用Petri网理论描述多媒体的同步技术刚刚起。