图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

从增强的LOTOS（E—LOTOS）说明到Petri网的转换

Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强,Ｐｅｔｒｉ网是分析系统的有效工具,本提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转网方法,并提出南非进一步考虑的问题。     

工程地形图CAD系统在PC机上的实现技术

工程地形图是土木工程中不可缺少的技术文件．给出了在ＰＣ机上实现《工程地形图ＣＡＤ系统》所采用的技术．该系统采用ＮＤＰＣ和ＮＤＰＦＯＲＴＲＡＮ开发３２位应用程序，在西文方式下实现汉字操作界面．给出了地形图数字化的方法及三种图形输出文件的生成方法     

在PC机上实现客户/服务器模式的应用程序开发

介绍用ＶＦＰ和Ｓｙｂａｓｅ Ａｎｙｗｈｅｒｅ在单相同实现客户／服务器模式的反应程序开发的一种实用方法。     

从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法,称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．为将来的进一步研究提供了一个良好的环境     

PC机上编译连接大型FORTRAN程序的技巧

由于PC机上的FORTRAN编译程序和连接程序能力有限,加之其内存容量也不大,因此,在PC机上编译连接大型FORTRAN程序会产生各种麻烦。本文分析了产生这些麻烦的原因,并提出了消除的方法。     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

图形E—LOTOS的一个编辑软件和执行算法

给出了图形Ｅ－ＬＯＴＯＳ编辑软件的主要组成和特点,同时提出了图形Ｅ－ＬＯＴＯＳ的一种执行算法．试图为今后的系统设计、验证、执行和测试工作提供一个良好的环境．     

用线性表实现基于Petri网的多媒体表现同步模型的方法

提出了用线性表实现多媒体表现同步模型的方法 .该方法包括采用线性表的递归表示法和根据线性表中的信息控制表现过程的算法 ,解决了多媒体集成表现系统的开发中遇到的一个难题     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

有色Petri网在软件开发中的应用

为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.     

基于交换网络的并行PC体系结构性能评价

针对传统的PCI总线结构形成系统通信瓶颈的缺陷，提出了以交换网络为中心的可扩展并行PC体系结构设计思想．用面向对象的分析方法对传统计算机硬件结构进行分析，设计了新的基于交叉开关的PC系统结构，并用Petri网分别对传统PC的I／O结构和并行PC的I／O结构进行建模分析，并作了定量计算，对这两种结构的性能进行了比较与分析，结果表明，并行PC系统结构可以在很大程度上提高系统设备的利用率和进程的执行效率．     

Petri网模型在MIS系统中的应用

管理信息系统是控制物质和信息的协调系统，利用Petri网和MIS的耦合性，Petri网模型可以使管理了解生产的细节和工作流程，更好地为管理服务。     

Petri网可视化工具的设计与实现

应用面向对象思想和可视化编程工具VisualC 语言开发了图形化的Petri网建模工具GPNT，GPNT系统作为一个计算机辅助设计和分析工具，使用户可在交互式的计算机图形方式下进行Petri网的建立，删除，修改和存储，并可通过对关联矩阵的初等线性变换求解Petri网的S不变量和T不变量，本GPNT系统可用于Petri网模型的设计，分析和动态仿真。     

利用PC机开发液晶显示器的图形显示功能

从液晶显示器的基本原理出发，介绍一种利用ＰＣ机开发液品显示器的方法．提供液晶显示器与计算机接口的电路框图和部分液晶显示器图形功能的开发程序思想。     

多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．