最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

T-时延离散Petri网的运行原理及其性质

T-时延离散Petri网（TTDPN）常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。     

离散、连续和混合Petri网的一致性描述

本文引入的混合动态系统的Ｐｅｔｒｉ网模型,以建立混合控制系统的整体Ｐｅｔｒｉ网结构,和Ｐｅｔｒｉ网上附加离散、连续和混合动态时描述的一致性与继承性为目标．令牌及其标记概念上的具体化,是统一多种动态描述的基础．权为零有向弧的引入简化了监控结构．依赖混合动态网建立复杂控制系统的整体Ｐｅｔｒｉ网模型,为采用Ｐｅｔｒｉ网理论进行系统的分析、验证和设计提供了基础．     

Petri网的位置合成运算

提出Ｐｅｔｒｉ网的位置合成方法,讨论了该运算对网的静态性质（包括结构有界性,可重复性,守恒性,相容性及Ｓ（Ｔ）－不变量等）和动态性质（可逆性,活性等）保持条件,这些结果对于复杂系统的合成与分析有一定的作用     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

MPI程序的Petri网模型及其动态性质

对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。     

同步及共享合成操作对Petri网汇合性质的保持性

若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。     

冗余可修系统可用度的随机Petri网建模与分析

基于随机Ｐｅｔｒｉ网,提出了一种较为简单的计算冗余可修系统稳态可用度的方法．该方法由于利用了随机Ｐｅｔｒｉ网作工具来分析系统状态之间的转移过程,从而使过程清晰明了,鉴于Ｐｅｔｒｉ网模型,利用Ｍａｒｋｏｖ理论可方便地得到状态概率矩阵方程     

基于Petri网模型的Ad Hoc网络可生存性分析

基于Ad Hoc网络动态拓扑结构难以用模型精确描述的特性,建立了可以表示网络中任意两个结点之间动态数据传输关系的Petri网模型,通过计算两个结点连通的概率和在规定时间内成功传输给定长度数据的概率,对网络的可生存性进行了研究,同时举例分析了结点传输范围和平均邻居结点数目两个网络因素对可生存性的影响。实验结果可以指导用户对网络可生存性进行度量,或根据实际的可生存性需求,调整相应的网络参数。     

最大速度恒定的连续Petri网(CCPN)的性质判定及分解

对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.     

自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

基于流态随机Petri网的工业混合系统模型分析

工业中的混合动态系统模型所隐含的是连续与离散相混合的随机过程,使得对模型的数值分析和性能评价变得十分困难.针对此类系统,采用二阶流态随机Petri网进行模型的描述,将模型抽象为二阶偏微分方程组,并采用数值分析方法对模型进行求解.实例仿真表明,该方法能对工业中连续和离散相混合系统进行有效的建模与分析,具有重要实际价值.     

基于混合Petri网的城市交通网络建模与仿真

提出了一种基于混合Petri网的面向控制的模块化信号控制城市交通网络仿真模型.采用层次化的建模方法:首先建立交通网络的轮廓模型,然后对轮廓模型中描述交通网络的关键要素(如交叉口、信号灯等)部位给出加细模型.这种建模方法清晰地描述了各个行驶方向的交通流在交叉口处的转向以及可能出现的冲突情况.此外,将时间因素加入系统模型中,使模型不仅能够反映交通流之间的逻辑关系,而且对车辆的位置、速度、通过时问等物理因素进行描述和计算.这样,就可以对各种具体的信号配时方案的性能指标进行比较和评估,以便找出最优或比较理想的交通控制方案.最后,通过一个仿真实例对系统模型的运行进行计算机仿真.     

GPPM(1)动态摆动指数变换的直接建模与全国电视机产量预测

研究提出了原始数据序列的动态摆动指数变换方法和ＧＰＰＭ（１）灰色模型。全国电视机产量预测应用表明，本文方法合理、可行、有效，且更完善，预测精度令人满意，可以作为一种研究社会、经济系统客观规律的新的认知方法.