一个基于Petri网的软件并行开发控制模型

软件开发活动的并行化是缩短软件开发周期、加快软件开发速度的有效途径。本文提出了一个基于Ｐｅｔｒｉ网的支持软件并行开发的并行控制模型ＣＣＭ及其构造方法，从而为实现软件并行开发的有效控制和开发相应的ＣＡＳＥ系统奠定了基础。     

生产系统的Petri网模型

本文提出了有消解过程的系统建模方法,并为随机模型建立了逐步精细原则,展示了系统性能分析的实例,探讨了建立外部监控模型的原理,研究了调控模型智能化问题,引入了用智能方法实现理想外部监控器的研究结果。     

非马尔可夫随机Petri网模型的混合状态分析法

讨论具有发射时间任意分布之变迁的随机Petri网的解析问题.定义了随机Petri网的混合状态和混合状态密度,提出混合状态分析法,并给出具有一步转移关系标识下的混合状态密度的递推公式.使非马尔可夫型随机Petri网的分析成为可能.通过算例说明了混合状态分析法在系统性能评估中的应用.     

基于时间Petri网的舰空导弹发射控制软件安全性分析

文中借助时间Petri网出色的图形表达能力和对动态行为的描述,在Tina工具辅助下完成了对舰空导弹发射控制软件建模和安全性分析,分析了高风险状态的可达性,考虑到软件时效对安全性的影响,提出了一些改进建议以避免高危状态的出现。     

一个基于构件的软件过程控制模型

基于构件的软件过程中存在大量的并行活动,提出的基于Petri网的基于构件的软件控制模型,易于描述这些并行活动,并且能有效地控制基于构件的软件过程的实施,使过程中的活动有条不紊地向前推进。     

具有时间约束的机组组合问题中的Petri网模型

给出了一种与环境有信息交流的受按记时Petri网系统模型，把这种模型应用于描述具有时间约束的机组启停状态转换过程，使具有时间约束的机组组合的动态规划法每一时段计算费用的状态数大大小于已有传统动态规划法的状态数，从而既处理了冷、热启动费用和最小启停机时间约束，又减少了计算费用的状态数，将合大大提高算法的效率。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于三层混合编程模型的Petri网并行算法研究

为解决多核机群Petri网并行化过程中,运用MPI+OPenMP混合编程实现同步会出现死锁的问题,提出了基于三层混合编程模型的Petri网并行算法。首先,根据事务内存的同步优势,在多核机群环境下构建MPI+OPenMP+STM的三层编程模型;然后,对Petri网的几何模型与代数模型的并行化进行分析,建立MPI+OPenMP+STM三层结构的Petri网并行模型,并对三层混合编程模型的Petri网并行算法进行设计与分析;最后,通过示例进行编程验证,该算法的运行效率明显优于其他编程模式,而且Petri网的规模越大,其并行计算的效果就越明显。因此,该算法是多核机群环境下模拟Petri网并行运行的一种高效且可行的算法。     

基于时延Petri网的DEDS的代数模型

用一种新的算子建立了结构无竞争时延Petri网和资源分配型时延Petri网的动态方程,为该类系统的分析和控制提供了研究工具.     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Petri网,并用它为一类混杂系统建模:宏观为Petri网;微观为变形的线性时不变状态方程.同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程.     

Petri网连接过程中的行为关系

先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.     

一种Petri网层次模型建模工具的设计与实现

为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型.设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件.用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序.     

用于一致性检查的知识库Petri网模型

知识库是一致性是决定专家系统效率及求解正确性的关键因素。本文以Ｐｅｔｒｉ网为工具对知识库进行模拟分析，把知识库一致性的检查化简为线性代数问题，把这一方法应用于分布式知识库系统，首次得到了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件，为建立（分布式）知识库的自动维护系统打下了基础。     

基于Petri网的超媒体模型HPN

本文提出了一个基于Ｐｅｔｒｉ网的超媒体形式化模型ＨＰＮ。它采用层次组织,各层由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,通过Ｐｅｔｒｉ网结构和执行语义说明超媒体的连接机制、浏览和媒体表现,具有刻画超媒体主要性质的能力。文中给出了ＨＰＮ模型的模式化定义并举说明其用途。     

安全开放系统的Petri网模型

Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。     

基于Petri网的统一知识表示模型

本文讨论知识表示的Ｐｅｔｒｉ网模型。将多种知识分类表示，对于开发具有较宽领域知识的系统具有重要意义。本文从统一的观点出发，在给出了Ｐｅｔｒｉ网的代数规范说明后，将三种主要的知识表示方法分别与Ｐｅｔｒｉ网模型之间建立映射系统，这三种知识表示方法为：逻辑表示法，语义网络和产生式系统。     

一类受控Petri网的反馈控制

受控Petri网是离散事件动态系统(DEDS)的一种控制理论模型.通过模型来研究实现禁止状态避免的最大允许反馈控制是DEDS控制理论中的一个重要课题.文中对受控Petri网的一个子类(非受控变迁子集的外延子网为TC网)讨论控制综合问题,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法.     

基于Petri网超媒体模型研究

在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型－ＣＰＮＨ,它基于有色Ｐｅｔｒｉ网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理２,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了ＣＰＮＨ模型的形式化定义并举例说明。     

基于Petri网的以活动为中心的软件过程建模方法

软件过程是软件生命周期中所实施的一系列活动的集合.软件过程模型为软件开发者提供了软件开发的标准,也方便了开发者之间的交流.过程建模作为软件过程中最主要的活动,是对实际软件过程的再加工工程.基于Petri网提出了一种以活动为中心的软件过程控制模型ACCM,并给出了相应的算法.最后以一个软件开发的实例解释说明了该方法的有效性.     

基于Petri网的作战指挥并发信息流模型研究与应用

在军事指挥系统中往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统的指挥效能.基于Petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究指挥系统的效能,例如,发现和排解死锁等,提供了可靠根据,有效地保证了系统的正常运行.经部队仿真演习试用,效果良好,对于提高部队应急反应能力具有重要的价值.