基于T-图的复杂Petri网约简算法研究

为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法。根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致。实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法。     

基于加权标识S-图的最短路径研究

为解决智能交通系统中交通运输网络分析和最短路径问题,提出加权标识S-图最短路径算法。根据Petri网基本原理和加权S-图的特点,给出交通网络加权S-图的网模型。阐述加权标识S-图最短路径的基本原理、求解加权标识S-图的最短路径定理及证明。通过交通运输网络示例和实验对算法进行验证,对比分析算法性能。结果表明,加权标识S-图最短路径算法能够更有效地求解交通网络最短路径。