两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

生产安排的动态模型与优化方法

使用Petri网的方法,建立了描述生产过程中工作量与各产品存储量关系的动态模型.以最小二乘法、线性规划等数学工具,给出了安排生产各时段工作量的计算方法,使得生产过程可按预想的状态进行,达到综合优化的目的.     

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

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

焊接孔长度对钢框架梁-柱刚性节点性能的影响

对焊接孔长度扩大的钢框架梁－柱刚性节点进行了空间非线性有限分析。分析结果表明，焊接孔长工的扩大显著地降低了梁－柱连接面处的对接焊缝和焊接孔切角端开裂以及翼缘脆性破坏的可能性，但过长的焊接孔也会导致梁侧向稳定的丧失。     

C^r映射芽的γ阶导网的v—充分性

本文给出了Ｃ＾ｒ映射芽的γ阶导网是ｖ充分性的充分条件，推广了（１）中的结果：给出了拟齐次多项式是ｖ充分的充分条件。     

与Tchebychef网有关的讨论

文中给出了曲面上参数网为Tchebychef网的几个充要条件,并讨论Tchebychef网与Guass映射以及与之相关的一些问题.     

对偶网的一些性质

给出了Petri网与其对偶网性质的一组充要条件或充分条件，这些条件对Petri网的描述与分析是非常有用的．     

基于遗传算法的变结构神经Petri网模型

将Ｐｅｔｒｉ网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Ｐｅｔｒｉ网，建立了人工神经元状态转化的Ｐｅｔｒｉ网模型，在此基础上给出了利用遗传算法设计变结构神经Ｐｅｔｒｉ网的方法，该方法不仅可以得到满足要求的网络参数，而且能对网络的拓扑结构进行优化，仿真结果验证了该方法的可行性。     

一种扩充的面向对象Petri网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动－－ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环。     

混杂系统方法及其在过程控制中的应用

借鉴混杂系统思想，提出一种方法用以设计含离散性质的过程控制系统。在总结混杂系统概念及其应用背景的基础上，分别利用自动机和Ｐｅｔｒｉ网两类工具建立常用的混杂系统框架结构，讨论了控制算法；为应用该方法解决这类过程控制系统的设计问题，总结了混杂系统方法原理，并结合两个实例给出应用说明。应用设计表明，该方法与常规控制相比，有机地集成了离散事件控制，丰富了过程控制策略。