排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实际问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

基于随机Petri网可修控制系统的可用度计算

提出了一种基于随机Ｐｅｔｒｉ网的可修控制系统的稳态可用度的计算方法。该方法利用随机Ｐｅｔｒｉ网作工具来分析系统的状态变化关系，从而得出相应的Ｍａｒｋｏｖ链状态转移图，再利用由此得来的状态概率矩阵方程求解，计算较为简单。     

基本拉动系统的Petri多模型及性能分析

基于Ｐｅｔｒｉ网理论,建立了基本拉动Ｐｅｔｒｉ网模型,以基本拉动系统为对象,其Ｐｅｔｒｉ模型转变为强连接事件图,对其性能进行了分析,从而寻求了一种利用所建Ｐｅｔｒｉ网模型对拉动系统性能进行分析的方法,为了验证分析方法的正确性,进行了案例仿真分析,证明了分析方法的正确性。     

Petri网在帧中继与X.25协议转换中的应用

提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个协议提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。在Ｐｅｔｒｉ网的基础上，利用图论方法论证其正确性。最后，用这种方法分析了Ｘ２５与帧中继之间的协议转换，并建立转换模型。     

基本拉动系统的Petri网模型及性能分析

基于Ｐｅｔｒｉ网理论,建立了基本拉动系统的Ｐｅｔｒｉ网模型;以基本拉动系统为对象,把其Ｐｅｔｒｉ模型转变为强连接事件图,对其性能进行了分析,从而寻求了一种利用所建Ｐｅｔｒｉ网模型对拉动系统性能进行分析的方法．为了验证分析方法的正确性,进行了案例仿真分析,证明了分析方法的正确性     

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

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

基于遗传算法的变结构神经Petri网模型

将Ｐｅｔｒｉ网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Ｐｅｔｒｉ网，建立了人工神经元状态转化的Ｐｅｔｒｉ网模型，在此基础上给出了利用遗传算法设计变结构神经Ｐｅｔｒｉ网的方法，该方法不仅可以得到满足要求的网络参数，而且能对网络的拓扑结构进行优化，仿真结果验证了该方法的可行性。     

无环Petri网的结构性质

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

T—Cyber网系统及其应用研究

指出了Ｃｙｂｅｒ网系统的不足之处，引用了变迁激发量的概念，给出了Ｔ－Ｃｙｂｅｒ网系统的定义，它是含有抑制弧的Ｐｅｔｅｒｉ网及受控Ｐｅｔｒｉ网的自然扩展。并分析了该网的性质，给出的实例表明该网的实用价值。     

离散事件系统的控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法。该方法首先把冲突问题转化为禁止状态问题。然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制，文中还给出了求解控制的有效算法。     

混合随机Petri网

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

对偶网的一些性质

给出了Petri网与其对偶网性质的一组充要条件或充分条件，这些条件对Petri网的描述与分析是非常有用的．     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

基于广义随机Petri网的轨道车辆门系统可靠性分析

轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程;对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petri 网建立的车门系统可靠性模型结构清晰,拓展性强,便于仿真实现,能够为车门系统设计及维保安排提供指导。     

基于Petri网的应用软件开发及其关键技术

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML也格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment)．     

通信协议形式验证中的Petri网方法

Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例.     

有界Petri网的进程演算表达

为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.