同步及共享合成操作对Petri网汇合性质的保持性
若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了.组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段.我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共事合成探作对汇合性质的保持问题，并得出了若干结论.
Petri网 可达标识集 家态 汇合性质 同步合成 共享合成
王鹏伟 吴哲辉
山东科技大学信息科学与工程学院 山东青岛 266510
国内会议
大连
中文
21-25
2007-08-01（万方平台首次上网日期，不代表论文的发表时间）