阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Ｐｅｔｒｉ网（ＧＳＰＮ）,对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Ｐｅｔｒｉ网模型。通过对模型求解、构造可达图及同构Ｍａｒｋｏｖ链,推导出了这种控制试上系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

广义随机Petri网用于计算机网络的SNA窗式控制

给出了计算机网络的ＳＮＡ窗式控制的广义随机Ｐｅｔｒｉ网模型以及可达图，从而可描述分析ＳＮＡ的窗式控制机理，并进一步介绍了极限情况下窗式控制机理的分析方法，比较了三种窗式控制机理的性能指标。     

广义随机Petri网及性能分析

对Petri网理论在性能评价领域的应用进行了研究,在介绍广义随机Petri网(GSPN,generalized stochastic petri net)及其分析技术的基础上,探讨了如何利用GSPN对系统进行建模及性能分析。针对典型的双处理机系统的吞吐量和资源利用率问题,建立了双处理机系统的GSPN模型,利用随机Petri网与马尔可夫链的同构关系,得到了GSPN模型稳定的状态空间及各状态出现的概率,进而探讨了双处理机系统的吞吐量和利用率等性能指标。通过TimeNet工具对所建立的模型进行仿真实验,验证了模型的有效性,为吞吐量和利用率的提高提供相关依据。     

广义随机 Petri 网用于计算机网络的 SNA 窗式控制

给出了计算机网络的ＳＮＡ窗式控制的广义随机Ｐｅｔｒｉ网模型以及可达图,从而可描述分析ＳＮＡ的窗式控制机理,并进一步介绍了极限情况下窗式控制机理的分析方法,比较了三种窗式控制机理的性能指标。     

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

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

DEDS控制理论模型—受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态，系统控制理论的研究。     

基于广义随机Petri网的供应链订货提前期建模

为了确定复杂供应链环境下订货提前期的大小,利用Petri网和马尔可夫理论,对供应链上订货、生产和分销过程进行了建模;经过分析得到了切实可行的提前期计算模型和评价提前期中各种活动效率的模型,并阐明了订货提前期与供应商服务水平存在的定量关系,对缩短供应链提前期提供了重要启示.     

Petri网的广义笛积运算（II）

本文提出Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。     

程控交换机中多处理机通信能力的研究

运用排队论的理论分析方法,给出了程控交换机中几种多处理机通信能力的研究方案,通过对交换机的通信总线传输速率的计算验证结果的正确性。     

时间离散随机Petri网及其在指挥控制系统中的应用

时间离散随机Petri网在对具有同步行的系统进行建模时非常有效。指挥控制系统是一个离散事件驱动系统,同步是其主要特点之。针对目前只有时间离散随机Petri网对指挥控制系统进行分析的特点,本用时间离散随机Petri网对某一指挥控制系统的性能指标进行了定量计算。     

Petri网技术在柔性制造系统控制领域的应用

Ｐｅｔｒｉ网是一种系统描述和分析的工具，近几年来，由于Ｐｅｔｒｉ网本身具有的某些优势，使得它在柔性制造系统控制领域的应用越来越广泛。     

基于随机Petri网的FMS建模及其性能分析

FMS是复杂、大型的系统，利用Petri网的特有性质能很好地分析FMS系统。首先概述了柔性制造系统和随机Petri网的特征，结合一柔性制造系统的实例，通过随机Petri网建模，分析了FMS的多项性能指标；最后简要介绍了一种模拟软件StpnPlay，并用其对随机任务随机时间进行模拟。在实际应用中可以借助一些模拟软件实现模拟结果，以供管理者参考系统的可行性。     

离散事件动态系统的受控Petri网控制研究

讨论了基于受控Ｐｅｔｒｉ网描述的离散事件系统的一类控制问题，包括部分观测信息下的状态标识估计，系统的状态反馈控制设计等。     

基于随机Petri网的BGP网络安全评估

随机Petri网因其具有坚实的理论基础、强大的分析功能和易于表达的图形化方式,应用比较广泛。本文介绍了基于随机Petri网的网络安全评价技术和方法,并对评估的主要性能指标进行了论述。在此基础上对构建的一个BGP网络进行了评估,给出了实验结果,实验中得到的统计数据与实际网络状况相符。由此,该评估实验与评估技术得到了实证。     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网（SPN）对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。     

基于Petri网研究选择性拆卸

废弃产品的拆卸回收是绿色制造中的关键技术。运用Petri网作为数学工具描述产品的拆卸树，并用自定义的语法作形式化的表达，重点研究了选择性拆卸问题。这对于废弃产品的回收、重用以及日常的维修，都具有重要作用。基于拆卸Petri网，提出了两种评价函数，并运用反向启发式搜索策略，形成了一个改进型的算法。最后对一个工程实例作了具体研究，验证了方法的可行性，使得选择性拆卸序列具有供现场机器人实用的价值。     

一种扩展Petri网及其应用研究

基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型——控制和数据Petri网(CDPN)．给出了CDPN形式定义,发射规则．研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据．最后给出了该方法在立体停车库控制系统设计中的应用．     

故障Petri网的状态方程研究

在比较其它研究人员关于故障Petri网定义的基础上给出了新的故障Petri网定义,根据给出定义提出了确定故障Petri网状态方程的算法,并通过实例证明了所提出的状态方程符合故障动态传播的物理特性．     

基于模糊Petri网的船闸故障诊断模型研究

为提高船闸系统的协调性与实时性,建立高精度的船闸故障诊断系统,使用具有更强推理性的Petri网对船闸系统进行建模,分析其各点状态从而能对船闸状态有更好的了解,使控制及检修策略更具有针对性。算例分析证明该方法实现了网络的数据关联分析,提高了故障诊断的快速准确性。     

网络传输层协议的随机Petri网模型及性能分析

描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用,并对影响网络性能的系统指标进行了讨论;同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响,克服了以往对网络性能评估的某些局限。