栈结构的增广Petri网模型

增广Petri网（如抑止弧Petri网）的模拟能力相当于图灵机,堆栈是一种常见的数据结构,运用增广Petri网的强大模拟能力,通过用一个变迁序列表示入栈字符串,另一个变迁序列表示出栈字符串,可以建立堆栈结构的模型SEPN。利用SEPN模型和映射函数,给出了产生几种上下文无关语言的有限长子集的增广Petri网模型,这几种语言是不能由一般的Petri网产生的。     

Petri网的分层递归模型

Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段.在传统的Petri网分层模型中,是不考虑递归的.这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力.在分层模型中引入递归的概念,可以使系统的模拟能力增强.可以证明,任意一个上下文无关语言都可以被一个分层递归Petri网识别.     

Petri网语言的同步混排运算及在语言分析中的应用

Petri网语言是用于系统行为分析的有力工具，利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为．为此，引入Petri网语言同步混排运算，并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系，分析了Petri网语言的同步混排运算的作用和意义，在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法．     

各类Petri网语言间的关系

Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点。     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

某类有界时序Petri网的原型网形式的转化

时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.     

基于语言等价的Petri网化简

定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。     

Petri网进程的描述方法研究综述

综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.     

Fuzzy上下文无关语言的几个辅助定理

Ｆｕｚｚｙ上下文无关语言是一种常见而有用的语言,对它的研究目前尚是一薄弱环节．本文研究了Ｆｕｚｚｙ上下文无关语言的几个辅助定理及语言的歧义性等,这为进一步研究Ｆｕｚｙ上下文无关语言及与Ｆｕｚｚｙ自动机的关系奠定了基础．     

作战管理语言研究综述

作战管理语言是军事人员、指挥控制系统和军用仿真系统之间进行通信的一种协议,它可以提高系统之间的互操性和仿真系统的逼真度.通过总结近几年研究作战管理语言的文献,对作战管理语言的定义、条令、表现、协议、本体和语法以及它们之间的关系等进行归纳和整理.介绍了指挥控制信息交换数据模型和Web服务在作战管理语言的应用,在此基础上介绍了作战管理语言对军事训练和军事仿真系统的影响,最后总结了目前作战管理语言的研究热点.     

交通语言系统结构

用语言的规则性来比拟交通管制信息和出行相关信息系统的规则性。交通语言系统是交通管理者与出行者（设施使用者）之间进行信息交换的工具，是以文字、符号、颜色等为基础的符号体系和规则体系的集合，用于将交通管理者管理意图和出行信息等转化为直接面向出行者的交通信息，也能将这些信息反向的转化为人们可以理解的信息。文章首先给出了交通语言的定义，分析了交通语言的特点、功能和基本语素，进而建立了交通语言系统的框架结构体系，提出了系统的元素集和规则集，并将交通语言系统进行了初步的层次划分。     

CADCSC的命令语言

本文分析了解决控制系统问题的基本逻辑过程,由此归纳出了控制系统CAD命令语言的一般设计原则。最后,分析了CADCSC命令语言的基本结构及特点。     

Petri网可扩展性标记语言

PNML(Petri网标记语言)是一种基于XML的Petri网的交换格式.因为可以用PNTD(Petri类型定义符)来定义Petri网的类型,PNML支持任何一种类型的Petri网.PNML主要用来在解决由于不同的Petri网类型而导致的问题.     

A Review of Process Modeling Language Paradigms

1　 IntroductionIn both academia and industries,Business Process Reengineering( BPR) ( Hammer,1990 )has attracted significantattention to the processes through which work is accomplished orinformation is processed. BPR increases the need for representation schemes of theconcerned processes. There is a body of literature emphasizing process representation tosupport process management including process diagnosis,process design or redesign,process automation,etc.Asthe core of process represen…     

一种并行C语言编程环境

一种并行C语言编程环境(PCLPE)是为运行Unix操作系统且具有共享存贮器的MIMD并行机设计的并行C语言编程环境,它是由扩充的串行C语言(称为并行C语言)及其支持该语言的环境构成。并行C语言能够描述子进程,共享存贮区,进程间同步以及相关操作。PCLPE简单、易用,并且特别适合编写并行数值处理程序。PCLPE已开始在Masscomp 6600并行机上运行。     

SIMSCRIPT仿真语言在混合仿真中的应用

分析了离散事件系统仿真的三种主要方法各自的特点，通过比较得出，进程交互法是适合混合仿真的离散事件系统仿真方法。接着介绍了仿真语言ＳＩＭＳＣＲＩＰＴⅡ．５的混合仿真功能，着重介绍了它对离散事件子系统的连续时间子系统仿真时间同步的支持。对多模型建模的有关参考文献中的一个实例，描述了其混合仿真模型，该混合仿真模型是多抽象层次的，与人们对建模对象的认识理接近。最后介绍了利用ＳＩＭＳＣＲＩＰＴⅡ．５对该实例     

仿真语言YFSIM的自动排序算法

本文介绍了一种在ＹＨ－Ｆ２仿真计算机仿真语言ＹＦＳＩＭ中实现的自动排序算法。其思想是根据仿真语言的规范定义产生式，再根据编译原理和自动机理论，建立排序程序所必需的数据结构，并加以实现。此方法在ＹＦＳＩＭ仿真语言编译器中的运用取得了明显的效果。本文重点讨论了如何建立语句的输入输出关系及相关的数据结构。     

利用量子计算语言进行量子通信仿真

量子通信是利用量子位进行信息传送的一种绝对安全的通信方式。将一种用于量子计算仿真的量子计算语言引入量子通信的研究中,实现了一种典型的量子安全直接通信协议的正确性、安全性仿真验证,并得到各种性能指标。仿真结果与理论分析结果的一致性验证了利用量子计算语言进行量子通信协议仿真的可行性。量子计算语言的引入,为量子通信的研究提供了一种强大、简便、通用的工具。     

面向对象方法与面向对象程序设计语言范型

本文将面向对象方法与传统的结构化分析与设计(SASD)方法进行了比较,探讨了面向对象程序设计语言(OOPL)范型和过程性语言范型。最后分析了三类OOPL的特点,并着重讨论了OOPL中一种特殊的类——类属类(generic)。