摘要：无人机(unmanned aerial vehicle, UAV)战术规划问题是UAV作战的核心,本文以UAV战术规划中的资源分配和目标推理为研究对象,针对传统petri网不能准确模拟战术规划中资源及任务正负效应建模问题,在阐述了利用传统petri网将总体任务按计划及目标顺序进行层次分解后,采用着色petri网对网间结构进行设计,利用总体目标管理图及变量管理图实现了消耗类资源以及多目标任务规划中的正负效应模拟问题。最后,将所提方法应用于UAV侦察任务中,验证了方法的有效性。

摘要：为提升着色petri网的设计分析与模型检验能力,讨论了着色petri网的结构化展开技术.以着色petri网的令牌单元和绑定单元为基元,通过对着色petri网展开为普通petri网的等价性证明,提出了基于着色petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色petri网到普通petri网的自动转换过程和着色petri网验证提供了有力支持.

摘要：针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、UML、petri网等多种军事复杂系统建模方法,提出了采用UML和着色petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过UML工具对智能推荐系统及其情报流进行了用例图、类图以及活动图等方面的概念建模,建立了规范化、统一化、可视化的模型,再凭借petri网严谨数学分析以及其对复杂网络的强大建模能力,将UML模型映射为着色petri网模型,实现了从内向外,从静态到动态,从模块化到系统化的循序渐进的建模过程。以X海方向XX联指,应对敌舰载机突袭任务为情况想定,利用CPN-Tools进行仿真,验证了预警情报智能推荐的着色petri网模型具有可达性、有界性、公平性、安全性以及活性。上述验证结果,说明该模型是合理的,也说明使用UML和着色petri网混合建模方法对预警情报智能推荐在联合作战中应用进行建模与验证是可行的,为下一步基于智能推荐系统的设计、构建和优化研究提供了科学性和可行性的支撑。

摘要：为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重的层次化着色petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。

摘要：将设计结构矩阵与着色petri网结合后,进行了产品设计过程建模与仿真的研究。首先利用设计结构矩阵对产品设计过程进行建模,从产品设计过程特点出发,为支持基本过程逻辑的描述定义了着色petri网基本网模型结构,将设计结构矩阵映射为着色petri网,建立了产品设计过程着色petri网模型。在此基础上建立了对设计资源进行有效分配的动态分配模型,通过定量仿真分析,实现了产品开发过程资源冲突的检测及资源的重新分配和调整。桥式起重机小车设计的实例说明了该方法的有效性。

摘要：为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色petri网组合模型的转换方法,定义了语义Web服务着色petri网(SWS-net)。转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系,而且能用着色petri网的形式化方法进行服务组合正确性验证。给出了组合服务的语义一致性验证算法,最后以一个协同设计过程为例对组合服务流程进行仿真验证并在工作流引擎中部署执行。仿真及执行结果表明,服务组合后的流程无死锁并且能够顺利执行。

摘要：着色petri网(CPN)是一种面向图形的语言,用来设计、说明、模拟和验证系统。提出了适于防空电子战作战过程建模的面向仿真的CPN,并对其在一个小型的防空电子战系统作战过程建模中的应用进行了探讨,同时运用CPN本身的动态特性,结合防空电子战系统的实际作战运用给出了仿真实例,其结论一方面可作为辅助决策的依据,另一方面,也为防空电子战系统的优化提供了方案。

摘要：针对突发事件所处环境的动态特性,结合应急处置与事件演化的适应性,提出一种基于着色petri网的情景演化应急预案流程建模方法.将着色petri网引入应急预案的流程建模之中,设计了情景演化下应急处置流程的CPN(colored petri net)模型;运用随机petri网的思想将时间概念引入到应急预案的动态建模之中,通过同构的马尔可夫链进行业务流程的性能分析,并设计了库所繁忙概率、变迁利用率和变迁标记流速等一组性能指标;以特大火灾应急预案为例,在验证了模型的有效性的基础上,分析信息资源聚集瓶颈以及关键业务单元;结合分析结果,提出了应急预案流程模型的优化思路,在模型优化的过程中考虑情景要素的影响,实现应急资源的动态配置.

摘要：基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用，在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上，分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模，同时提出了一种把递阶着色Ｐｅｔｒｉ网用于离散事件动态系统的面向对象软件设计的一般方法，并通过对一个柔性制造系统实例的面向对象分析和递阶着色Ｐｅｔｒｉ网的建模，最终指导控制软件的开发．

摘要：面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提出一种基于着色petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述,可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求,使用异常处理模式连接异常处理组成元素,形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案,便于辅助设计人员检测异常处理设计方案中的缺陷。