多线程数据通信系统的Petri网建模

根据多线程数据通信系统的设计需求,建立数据传送模块的Petri网模型.运用模型对数据传输过程所涉及的线程之间的同步协作、线程对共享资源的独占性存取、线程启动与结束时机判断等问题做模拟分析,并给出通信数据队列的多线程软件解决方案.该方案可以提升多线程串行通信程序的安全性和运行的稳定性.     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

Petri网的对偶运算及性质

给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果     

对偶Petri网的运算及性能分析

给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件     

Petri网应用研究

本文介绍了Petri网的基本概念及其发展，以及Petri网的研究方向，讨论rPetri网与面向对象技术的结合，以及Petri网在CIMS领域里的应用研究。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.     

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...     

模糊神经Petri网算法优化及其收敛性分析

针对模糊神经Petri网(fuzzy neural Petri net,FNPN)学习算法计算精度低、收敛性差及训练过程中网络震荡较大的问题,提出一种优化的FNPN算法.本算法采用两种S型连续函数分别表示变迁使能及变迁点燃后的新标记值,并在传统参数修正公式的基础上考虑修正前的数值进而增加新型的动量项,从而改善网络的收敛性.本文证明了优化后的参数修正算法可以保证FNPN网络的收敛性.     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

一种新的Petri网模型

将感觉神经检测机制融合于Petri网中，提出了一种新的基于属性抽取与整合的感觉神经检测Petri网模型，使得Petri网更加适合于对神经思维的描述，提高了系统的智能行为。     

Petri网中亚公平关系与亚公平网

Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质：亚公平Petri网中一定存在着公平关系,并在此基础上讨论了亚公平网中的公平分支划分。此外,本文通过网的本原可重复向量集化简了一个网为亚公平网的一组充分必须条件。     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

Agent—oriented Single Token and Colored Transition Petri Net

Petri net is a kind of effctive graphic modeling tool.The agent technology is combined with petri net in order to enhance flexibility and extendibiltity,and the agent-oriented single token and colored transition petri net is propose,Some characteristics such as liveness,fairness and safety are analyzed.Finally,an example in mould agile manufacturing is given to illustrate the use of it.     

一种知识表达Petri网及其特性分析

根据Horn子句的特点,定义了一种新的Petri网形式———HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有效提高推理效率.     

Petri网在MIS结构设计中的应用

在管理信息系统设计中，如何保证所设计的系统满足用户对其性能的要求，所采用的系统设计和分析方法起着非常重要的作用。因而，对管理信息系统的设计和分析方法的研究是非常重要和有益的。该文讨论了以时间Ｐｅｔｒｉ网为工具的管理信息系统结构设计方法，文中首先建立了管理信息系统的时间Ｐｅｔｒｉ网模型，然后以时间Ｐｅｔｒｉ网模型为基础，从系统工程的角度，对管理信息系统的结构进行设计，使所设计的系统结构满足用户对系统的实时性、经济性要求。