结构活网的活标识.pdf

wasbroughtforward,onlysomesub—shavetheschemetodecidetheirliveness[。。812‘,2226’”i..[2】,:first.;ifitisstructurallylive,thentrytogetthecharacteristicofitslivemarkings;,basedonpaper[2],atfirst.,whichhasnoneconflictstructureandit’s1ivemarkings’monotonicity,,whichhasconflictstructuresandit’slivemarkings’§,f网作为一种系统描述和分析的工具,《用自动机通信》一文,文中首先采用网状结构模拟通信系统,即以网论研究通信的开始。PP护f网以图形化的方式直观的表达了离散事件系统的各种关系和行为,并且以代数理论作为它的数学基础,可以方便的分析离散事件系统的各种行为,并且由于采用了形式化的描述和分析方法,所以较为容易的就可以实现由模型到代码的转化,以便对系统进行控制。经过四十年的发展,今天Petri网已经被广泛地应用到各个应用领域,如性能评估(PerformanceEvaluation),municationProtocols),离散事件系统(Discreteeventsystems),神经网络(works),pilerandoperationsystems),并发和并行编程(Concurrentandparallelprograming),柔性制造/I业控制系统(Flexiblemanufacmring/Industrialcontrolsystems),决策模型(Decisionmodels),可编程逻辑和超大规模集成电路阵列(ProgrammablelogicandVLSIarrays),异步电路和结构(Asynchronouscircuitsandstructures)等。在各个不同的应用领域,在原型Petri网的基础上,根据不同的应用需要而产生了一些高级网系统,例如谓词/变迁系统和有色网系统。随着对PP州网的理论和应用研究的不断深入,PPf,f网将会更好的应用到越来越多的领域。§,先构造得到其相应的Petri网模型,然后通过对P甜rl网模型的分析来了解实际系统的各种性能。这样,在删网的理论研究中,提出了尸“一网的多种性质,这些性质包括Petri网的动态性质和结构性质,如可达性。有界性和安全性,活性,公平性,守恒性,可重复性等等。,它的提出源于对实际系统运行当中是否会出现死锁的探索的需要。自上世纪70年代初,P曲f的的活性概念提出不久。对S一图、、自由选择网等几种网子类就给出了判定其活性充分必要条件f-1。随后,不少研究者致力于寻找一般Petri网的活性判定规则,都没有获得成功。多年来,能够给出活性判定条件的Petri网子类并没有增加。直到上世纪90年代初。才出现了对加权T一图的活性判定的充分必要条件【z““,文[3】给出了被T一不变量覆盖的有界Petri网的活性的一个充分条件,Petri的的活性研究才又取得了一些新的进展。直至最近,文【2】中对Petri网的活些奎型垫盔兰堡主兰垡堡兰笙二皇堕堡一一一——性判定研究开辟了一条新的途径:从网的结构特征入手来研究网的活性判定问题,对网中的冲突结构进行了归类,通过研究网的可重复性及冲突结构的关系来判定网的结构活性,给出了网是结构活的一个充分必要条件,并且给出了一个判定网的结构活性的判定算法,至此,网的结构活性的判定问题才得以完整的解决。试图通过对结构活性的分析去解决网系统的活性问题,则自然的产生了下面的两个问题:(1)给定一个结构活网,如何为