P/T网的化简运算及其性质研究

本文首先给出P／T网的几种化简运算，然后证明这几种运算对于网的结构性质不变，从而为P／T网的分析与综合提供了有效途径．

基于P/T网结构的规则系统验证方法

规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现.

用P/T网系统分析网络文件并行传输问题

提出了用P/T网系统分析文件最佳并行传输方案的方法.在此方法中,将网络节点和网络上流动的文件以及它们的关系画成一个P/T网系统,利用网论的概念和思想对它进行分析,从而确定最佳并行传输方案.

搭配关系的P／T网建模

首先基于P/T网建立了关系词的基本模型,并通过引入搭配能力函数建立了搭配关系模型;随后,在单重复句的基础上讨论了搭配型的单层分解(合成),在多重复句的基础上讨论了搭配型的多层分解(合成),得到了具有一定应用价值的3个定理.

基于Petri网的并发系统活性分析

本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 .通过分析可达标识图 ,可判断系统是否为死锁状态 .若不是死锁状态 ,系统是否可能出现死锁 ,什么情况下系统肯定不会出现死锁 .最后 。

基于Petri网的网上商城订单处理模拟与验证

用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S?不变量给出订单后台处理模型的验证。

基于Petri网的协议分析技术及工具

研究基于 Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计 ,进而阐述该工具主要功能模块实现的思路和算法 ,并将其应用于对 AB通讯协议的描述和性能测试分析 。