一个拟PETRI网建模模型

本文利用ＰＥＴＲＩ网和自动机理论，为ＥＡＲ数据模型的数据库设计，建立一个拟ＰＥＴＲＩ网的设计方法，并构造一个建模模型，为数据库辅助设计提供基础框架结构。     

ISEE工具的集成与实现

本文重点讨论了ＩＳＥＥ工具集成的基本机制和多层次抽象模型，并引入面向对象的ＰＥＴＲＩ网理论，用于解决工具集成的控制和实现问题。     

一种实时多处理机操作系统开发方法

文章介绍一种用于多处理机系统的程序设计方法,该方法基于两种程序设计级别,一种是任务级,主要完成基本操作,是系统中的单一控制线程单位;另一种是作上级,该级允许开发并行程序,由整个多处理机系统来执行,这种方法适用于开发多处理机事件驱动的系统软件。用户采用ＰＥＴＲＩ网来描述并行程序结构,也即：作业级程序设计,借助于ＰＥＴＲＩ网进行系统建模。该模型还提供了任务开发的框架概念模式,从而允许完全独立的一般性任务开发。文章将讨论在此方法支持下基于Ｌｉｎｕｘ内核的实时操作系统结构和系统的实现。     

运用PETRI网络理论设计DSP系统的监控程序

介绍了在设计一种用ＤＣＰ为基础的仪器时,采用ＰＥＴＲＩ网络理论取代ＩＦ－ＥＬＳＥ结构形式设计ＤＳＰ系统的监控程序。该方法算法程序简单,不仅大大节省了监控程序所占用的内存．而且效果好。     

一种CDEP调度策略的搜索算法

对受控离散事件过程（ＣＤＥＰ）提出了一种分析方法，以柔性制造系统（ＦＭＳ）的并行调度问题为例，对方法进行了详细地形式化描述，给出了适用于仿真器的状态有向图的存贮结构和搜索算法。     

全息粒子场再现图象自动分析方法与实现

全息粒子场再现图象自动分析方法与实现刘雷健，杨静宇，邬永革，刘克（南京理工大学计算机科学系南京２１００９４）ＡＵＴＯＭＡＴＩＣＡＮＡＬＹＳＩＳＳＹＳＴＥＭＯＦＲＥＴＲＩＥＶＥＤＰＡＲＴＩＣＬＥＨＯＬＯＧＲＡＭＳ￥ＬｉｕＬｅｉｊｉａｎ；ＹａｎｇＪｉｎｇ...     

NORMALIZED ELEMENT NODE TOPOLOGICAL MATRIX OF FINITE ELEMENT MESHES

ＮＯＲＭＡＬＩＺＥＤＥＬＥＭＥＮＴＮＯＤＥＴＯＰＯＬＯＧＩＣＡＬＭＡＴＲＩＸＯＦＦＩＮＩＴＥＥＬＥＭＥＮＴＭＥＳＨＥＳＨａｏＹｏｎｇｐｉｎｇＡｂｓｔｒａｃｔ：Ｏｎｔｈｅｂａｓｉｓｏｆｃｏｎｃｅｐｔｏｆｅｌｅｍｅｎｔｎｏｄｅｔｏｐｏｌｏｇｉｃａｌａｎａ...     

结构动力响应计算的瞬时界面关连矩阵法

结构动力响应计算的瞬时界面关连矩阵法杜国君，彭天国（东北重型机械学院）ＴＲＡＮＳＩＥＮＴＢＯＵＮＤＡＲＹＳＵＲＦＡＣＥＲＥＬＥＶＡＮＴＭＡＴＲＩＸＭＥＴＨＯＤＦＯＲＣＡＬＣＵＬＡＴＩＮＧＤＹＮＡＭＩＣＲＥＳＰＯＮＳＥＯＦＳＴＲＵＣＴＵＲＥ￥ＤｕＧｕｏ...     

电站仿真器模型开发支撑系统研究

对电站仿真器模型开发支撑系统（ＰＳＭＳＳ）的研究，目的是为大型火力发电站培训仿真器的研制提供了一个有效的模型开发工具，ＰＳＭＳＳ系统由三个子系统组成：模块库管理系统，模型生成系统，模型试验系统，ＰＳＭＳ系统支持用户进行模块开发，模型生成和仿真试验等方面的工作，有效地加快了电站仿真器的研制过程。     

利用PBX实现异种局域网的互连

本文研究利用程控交换机的数据口进行局域网互连，提出设立网际层实现网际互连的一种方案，该方案在ＮＯＶＥＬＬ网、ＤＥＣＮＥＴ网及程控交换机ＭＥＲＣＵＲＹ－ＴＸ２０００的环境下，采用信关站及编制软件的方法，将ＮＯＶＥＬＬ网与ＤＥＣＮＥＴ网经ＰＢＸ互连，并设计了网际文件转输的部分模拟实验。研究结果表明此方案可行。     

Petri网在C3I系统仿真建模中的应用

建模仿真技术是C^3I系统性能评估、C^3I系统仿真分析与设计的一个重要方法。该文介绍了Petri网的基本概念,说明了Petri网建模的特征;给出了一种应用于C^3I系统仿真研究的建模方法：应用Petri网对C^3I系统进行分析与设计,实现从C^3I系统的组织框图到Petri网数学模型的转换;指出了Petrl网在C^3I系统仿真建模方面的不足和改进方向。最后,该文给出了用Petri网建模的一个简单应用实例。     

基于XML的生物代谢Petri网模型的标准化

针对分析生物代谢网络的需要，构建了生物代谢Petri网模型建模环境，并采用基于XML的Petri网标记语言PNML为标准，利用DOM实现XML解析，完成Petri网模型的标准化，通过对代谢网络Petri网模型实例的仿真，验证了标准化模型的正确性。     

Petri网及其扩展研究

Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念,在此基础上对多种Petri网进行了广泛的研究,包括时间因素Petri网、有色Petri网、面向对象Petri网、模糊Petri网及受控Petri网,并针对每种Petri网的特点和应用范围进行了讨论,提出了Petri网当前发展的方向和急需解决的热点问题。     

基于Time Petri Nets的实时系统资源冲突检测

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

基于加权FPN的聚驱综合调整系统决策分析

模糊Petri网(Fuzzy Petri Nets, FPN)是一种适合于描述异步并发事件的计算机系统模型,可以有效地对并行和并发系统进行形式化验证和决策分析.针对聚驱综合调整系统知识具有不确定性和模糊性的特点,给出了基于加权模糊产生式规则的加权FPN决策模型.在此模型的基础上,给出了决策推理过程的形式化推理算法.算法考虑了推理过程中的众多约束条件,将复杂的推理过程采用矩阵运算来实现,充分利用了FPN的并行处理能力,使决策推理过程更加简单和快速.并以压裂方式调整为例,说明了该模型具有直观、表达能力强和易于推理等优点,具有较强的实用价值.     

模糊Petri网的反馈控制研究

本文首先将模拟技术应用于Ｐｅｔｒｉ网中，得到模糊Ｐｅｔｒｉ网模型，然后基于Ｐｅｔｒｉ网中的库所湾量的概念，在普通Ｐｅｔｒｉ网的反馈控制基础上提出了一种模型Ｐｅｔｒｉ网的反馈控制方法。该方法使得对复杂系统的模糊Ｐｅｔｒｉ多控制器的系统设计成为可能。     

基于有色Petri网的经营过程建模

在经营过程重组（BPR）的过程中,利用仿真工 具对经营过程建模与仿真分析,被认为是快速和顺利实施BPR的必要手段．目前大多数BPR支 持工具局限于对过程的仿真,而Petri网则因其严格的数学定义和丰富的分析方法,不仅能 够仿真过程的性能参数,还可以对过程的结构进行分析,从而在过程诊断和重组方案的设计 中发挥重要作用．将有色Petri网应用于经营过程建模,可以较好地描述经营过程的不确定 性、并发性和资源共享等问题,并解决模型中存在的冲突、死锁等问题,同时避免了普通Pe tri网过于复杂的缺点．     

非确定Petri网

根据描述工作流模型的实际应用背景，提出了非确定变迁，非确定Petri网等概念，并定义了Petri网的等价关系，证明了在这种等价关系的意义下，非确定Petri网与传统的确定Perti网的等价性。     

UML模型到面向对象Petri网模型的映射

文章通过分析UML模型和面向对象Petri网各自的特点,提出了UML模型到面向对象Petri网模型的映射规则,从而实现了利用UML模型有效描述系统,利用面向对象Petri网模型模拟仿真系统的有效结合,实现了两者的优势互补.