Petri网的并分解

给出了Petri网的并分解的定义,并讨论了通过这种分解原网与子网在结构性质方面之间的关系,对用Petri网分析大系统提供了一种有效的方法。     

最大速度变化的连续Petri网(VCPN)的动态演变及性质判定

最大速度变化的连续Petri网（VCPN）是由David等最早提出的一类时延连续Petri模型，但并未对其动态及结构性质给出分析方法，首先给出了VCPN的相区间的定义及其划分，并结合实例对VCPN的动态演变过程进行了分析，在此基础上，结合VCPN的稳定的相区间，进一步对其性质给出了相应的定义判定定理，利用这些结论，可以对由VCPN模拟的系统进行性能分析，这种分析方法对某些系统利用VCPN建模并进行分析提供了理论根据。     

PVM并行程序验证系统的原理与实现

本文主要介绍ＰＶＭ并行程序验证系统的基本原理和实现技术。首先,我们扼要分析ＰＶＭ程序的构成与特点,然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术,本系统的研制可为产行程序的自动转换和分析验证提供了一个可视化的运行环境。     

广义混杂PN机

建立了广义混杂PN机模型,证明上下文有关矢量文法与广义混杂PN机模型在语言上是等价的。这样一来,使得文[4]中的悬而未决问题得到解决。另外,还进一步研究了PN机的语言性质。     

流程工业CIMS中的实时数据库技术

流程工业存在着大量的实时数据处理、存储和集成问题,仅靠采用集散式控制系统（ＤＣＳ）和关系数据库技术并不能完全解决。开放结构的分布式实时数据库系统能够提供高速的实时数据服务,能够有效地集成异构控制系统,它和关系数据库一起构成了流程企业的数据平台,对流程工业的生产信息集成起着极其重要的作用,是流程工业ＣＩＭＳ实施中的关键技术。该文针对流程工业ＣＩＭＳ的特点,介绍了在流程工业ＣＩＭＳ中实时数据库的功能．系统结构及其采用的关键技术。     

控制软件设计与验证计算机辅助系统

介绍了控制软件设计与验证系统的原理与实现过程,给出顺序功能图（Sequential Function Charts,即SFC）需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法,讨论了系统实现的若干关键技术,最后通过例子演示了系统的操作过程。     

基于模型的企业业务持续改善的研究

现代企业在激烈的竞争下要在市场中保持竞争力 ,企业的业务过程就要不断地适应外界的变化 ,这就是业务过程持续改善 (BPCI)的内涵 .企业要实现业务过程的持续改善离不了信息技术的支持 ,本文主要介绍支持企业进行业务持续改善的模型方法 (ARIS)、基于模型和构件的软件开发方法以及 Microsoft DNA体系结构 .文中的建模方法的有效性和实用性在国家“九五”科技攻关项目资助下在长岭炼油厂和金陵石化炼油厂得到充分的体现和验证