【关於Petri网归约问题】谢宜晖.pdf
目录 摘要 一.综述.1-1Peti网的分析-1-2研究归约问题的动机1一3归约的意义-1-4Bti网归约的历史发展二引言三、Rti网的基本概念(20 四、基本归约方法-— g) 4-1预备知识—(26 4-2归约规则4-(33 4一3归约规则4-34-4归约规则43 -4 4-5归约规则44(4 34-6归约规则45-4-7基本归约方法小结 五、高层归约方法一.-9) 35-1归约规则5-(b 55一2归约规则5(6 5一了归约规则上(6 35-4归约规则5.
OnReductionProblemofPetriNets Abstract Today,the reduction of Petri nets is an important subject inthe research area of Petrinets.This paper introduces three levels ofreduction method ofPetrinets according to static structure ofthe nets,and rigorously shows that these reduction methodsmaintaintwoim
统可以用硬件来实现的一个表征.1一1Pet;网的分析 Pet:网的分折主要通过两种方法进行,第 一种是通过构造可达树(reackcbili态 tree)来分桥Pet 网所能到达的各种状态,该方法的缺陷是可达 树与Pe:网之间并不是一一对应的,从而容易 导致二义性.第二种是通过关联短阵(nciclence matix)来分析,它也存在某些弱点,但却是一 种十便利的分析方法,已被广泛使用,本文 亦使用后者.矩阵析的方法首先是由J.L.Pet.som提出的 下.