基于面向对象Petri网的业务流程建模方法研究

在信息系统开发过程中，信息系统建模的方法和模型的表示问题十分重要。本通过对面向对象Petri网的讨论，阐述了利用面向对象Petri网建立业务流程模型的基本问题，并给出了模型的计算机表示和存储方法。     

基于时间Petri网的供应链网络关键路径分析

讨论了供应链网络中如何选择优化路径的问题,提出采用时间P etri网对供应链网络关键路径建模的方法.此方法根据顾客需要货物的情况,有条件地选取供应链网络图中可跨越活动和可替换分支,将网络图分别描述成Ebs图和Ew f图,结合时间P etri网的可达算法,求得Ebs和Ew f的关键路径.通过基本供应链的分析,得到网络的优化路径.     

基于随机Petri网的航空货运出港系统分析

航空货运出港作业是影响航空货运速度的重要环节。本文根据航空货运出港流程建立了出港系统的随机Petri网模型(SPN)和同构的马尔柯夫链(MC)。以国内某枢纽机场航空货站为例,计算了MC的稳定状态概率,分析了系统的运作效率和延时时间,并对提高航空货运出港系统运行效率提出了建议。     

有界Petri网的进程表达式

提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法.一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式.它所表示的正规集是该Petri网全体满进程的集合.所谓满进程,是指每个s切对应着Petri网的一个可达标识的那类进程.     

一类基于随机着色Petri网的多级供应链可靠性模型研究

由多种要索组成的供应链系统在实际运作过程中必须符合可靠性要求。供应链系统由于内外部的不确定性，特别是外部需求不确定性而与其他可靠性系统有所不同。本文在考虑其可靠性问题的条件下，提出了一种随机着色Petri网来对供应链系统可靠性问题进行建模分析。     

天车与冶炼炉作业调度的Petri网模型

编者按：本文在分析问题的基本特征基础上，应用Petri网作为模型，得出一个满足要求的优化调度方案。该文分析全面，说理清楚，在模型讨论与建议等方面都有独到之处。为方便说明，我们将各项工序的代号及其所需时间列表如下：从原料到成品钢的全部生产流程由下图给出：为使成品钢产量尽量高，就必须使A炉尽可能满负荷生产，即尽量减少A炉的待料时间，因P处辅料可按时供给，所以调度方案的设计归结为实现A组炉与B组炉生产间隔的最佳匹配问题，下面给出几个结果：（1）产品上限：当A组炉满负荷生产时，成品钢产量达到其上限：一年有效作业…     

一种基于Petri网的工程管理模型

提出了用Petri网建立工程管理模型.为了适应在工程管理中的应用,对Petri网理论进行了扩充,提出了判定库所的概念,设计了托肯移动的规则,使用优先矩阵描述了托肯的移动.     

基于随机Petri网理论的邮轮灾难事故预警机制研究

邮轮安全事故的严重后果凸显了预警机制的重要性。本文采用集合结构对邮轮安全事故的致因进行分析与描述,以此建立邮轮预警指标体系,通过对指标体系的分析并结合船舶航行实践,设计了邮轮安全预警机制。本研究综合考虑气象条件、通航环境对邮轮航行安全的影响,通过引入与构建随机Petri网理论模型,结合“东方之星”轮沉船事故,对恶劣气象条件下邮轮的安全预警机制进行仿真分析。实验显示风级、雨量等级增长速率与邮轮面临灾难危机的概率之间存在非线性关系,且浪级、风级及雨量等级对邮轮安全预警状态有交互作用,并产生了三者交互作用下的预警临界曲面,为邮轮是否可继续安全航行提供定量分析与决策支持。     

基于Petri Net的需求流动网组建模型及其稳定性分析

针对供应链概念不足,提出需求流动网概念,并论述了需求流动网概念模型,运用Petri网理论建立需求流动网模型,并对模型进行了分析,随后在分析需求流动网稳定性内涵的基础上,进一步运用Petri网理论分析了需求流动网稳定性,并最终得出了相应结论.     

基于随机Petri网的震后次生灾害演化模型研究

针对震后次生灾害的演化问题,本文采用多案例分析方法提取地震及其次生灾害事件的属性,从属性层次按照“事件类型、关键属性、从属属性、环境属性和危害评估属性”对其进行结构化描述,分析震后次生灾害事件的属性特征,绘出了震后次生灾害演化Petri网模型。在此基础上,以渐变型次生灾害事件——震后瘟疫为例,根据随机Petri网与马尔科夫链的同构关系,构建了震后瘟疫事件演化系统随机Petri网模型。最后,通过马尔科夫链及相关数学方法对震后瘟疫事件演化系统进行了评估,分析其中的均衡状态及其变动规律,验证了模型的有效性,为应对地震次生灾害事件提供科学的应急决策支持。     

装备战场抢修的模糊随机Petri网建模和分析

针对装备的战场抢修要求恢复状态可以具有多样性的特点,对原有模型进行了改进,提出了模糊随机Petri网模型,并且验证了模型实用性和有效性.     

基于动态神经网络的非线性系统鲁棒故障检测

针对一类具有不确定性扰动的非线性系统,将设计的系统线性观测器产生的误差信号作为残差,采用一种具有高斯型激励函数的动态神经网络(DNN)对残差信号进行分析处理,得到了系统的鲁棒故障检测方法.文中分析了该方法的稳定性和故障检测的鲁棒性,并通过算例验证了该方法的有效性.     

输电系统的部分可观Petri网故障诊断器设计

采用部分可观Petri网的故障诊断方法来解决变电站输电系统中不可观事件和不可观运行状态的故障诊断问题.首先,将系统可观测序列分解为长度为1的基础观测序列,应用线性不等式矩阵计算与基础观测序列相符的点火序列集;然后,基于整数线性规划问题,利用向前向后函数拓宽诊断区间,同时应用参数K限定故障诊断序列长度,通过分析系统可观事件和系统部分可观状态,给出故障诊断结果.最后,构造变电站输电系统的部分可观Petri网模型,应用提出的故障诊断算法对输电系统进行诊断,诊断结果准确给出了故障发生与否及故障发生位置.算法适用于在线故障诊断,计算复杂性线性相关于观序列长度.     

The design of a controller in Fuzzy Petri net

This paper designs a class of Fuzzy Petri net controller based on the character of place invariant in Petri net. This controller is simple in operation and is easy to put into practice. It has satisfying effects and can provide methods to do research in designing and optimizing the performance of system in solving the dead lock phenomenon in concurrent system.     

具有未知扰动的广义系统的故障检测

研究具有未知扰动的随机广义系统的故障检测问题,在合理的条件下,利用状态变换从原系统中分离出一个与未知扰动解耦的降阶子系统,构造了该随机子系统稳定的滤波器,给出了输出偏差量的统计特性,在此基础上,实现了系统故障的检测．     

基于Petri网的软件结构复杂性分析

本文从软件分析的工具数据流图入手 ,导出了基于 Petri网的软件结构模型 ,并借助于网论中的数学工具 ,定量地给出了软件结构的复杂性描述 ,该分析结果可以有效地用于大型系统软件的综合性能分析、设计方案的评价等工作过程中     

Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

Supervisory controller design to enforce boundedness, reversibility, and liveness in timed-transition Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may be present and more than one transition may fire simultaneously. The approach of stretching is used to represent the state of the system. Algorithms are presented to design a supervisory controller using the forbidden states approach to enforce boundedness and reversibility simultaneously. The designed controller also guarantees T-liveness for the largest possible subset T of the set of transitions. In particular, boundedness, reversibility, and liveness are simultaneously enforced whenever it is possible. The designed controller is also the least restrictive controller which enforces boundedness and reversibility simultaneously.