Petri网的笛加运算及性质研究

本文提出了Ｐｅｔｒｉ网的笛加运算、广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。

随机Petri网:研究现状和面临的挑战

近来，随机Ｐｅｔｒｉ网正逐渐成为描述和分析那些具有并发、同步和冲突等特征的系统的广泛而强有力的工具，其在Ｃ３Ｉ系统、柔性制造系统、计算机系统及通讯等诸系统中的各个领域的应用都已取得了显著的成功。然而，随机Ｐｅｔｒｉ网的状态空间的组合爆炸作为主要问题正阻碍着大型随机Ｐｅｔｒｉ网精确解的求取，进而限制了该类Ｐｅｔｒｉ网作为建模和性能评估工具的广泛使用。在本文中，首先回顾了随机Ｐｅｔｒｉ网的发展历程以及随机Ｐｅｔｒｉ网的主要子类和相应的解决方法，然后明确指出了目前随机Ｐｅｔｒｉ网在理论和应用中遇到的困难，并进一步阐述了克服该困难的三种主要方法的研究现状和发展前景。

基于Petri网的图标编程系统设计与实现

为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统．本文讨论了组成该系统各成分的功能，并设计了网络分析图的生成算法．通过实例说明了系统工作过程和Ｐｅｔｒｉ网理论在可视化程序设计中的重要作用．

Petri网在航运业务流程重构中的应用研究

对Petri网在航运业务流程重构中的应用进行了探讨。依据Petri网理论 ,构造了航运业务流程的一般语义描述及相应的流程重构规则。在此基础上 。

带标识加权T-图的化简

本文首先给出带标识加权T-图的几种化简运算,然后证明在一定条件下,这几种运算能保持网的活性不变,从而为带标识加权T-图的分析和综合提供了有效途径。

骨科医疗器械清洗质量数据库实时查询算法研究

医疗器械清洗质量管控是规避交叉感染、实现安全诊疗的关键,针对此,文章将以物联网为基础,采用RFID标签结合WSN自动识别目标,综合利用固定、无线和移动等3种网络接入方式,来搭建器械清洗质量数据实时追踪查询系统,进行系统的数学建模;而后,建立器材清洗的状态和过程数据的描述模型,以及清洗质量数据的存储模型,并利用Petri对清洗质量数据的追踪流程进行建模,由此,选用C/S和B/S混合开发模式设计实现了清洗数据库实时追踪查询系统,验证了设计方案的应用可行性。

基于 Petri 网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构。车间控制器平台的核心是运控Ｐｅｔｒｉ网。该文给出了运控Ｐｅｔｒｉ网的定义。和一般的Ｐｅｔｒｉ网相比，运控Ｐｅｔｒｉ网主要增加了控制规则以及和外部信息进行交互的接口。实现外部接口的技术方案是车间控制器平台的关键技术，这些接口包括控制设备的虚拟制造设备（ＶＭＤ）接口、数据库访问接口以及文件访问接口，通过这些外部接口为车间调度提供了全面的车间信息。