同步及共享合成操作对Petri网汇合性质的保持性

同步及共享合成操作对Petri网汇合性质的保持性
王鹏伟;吴哲辉
【期刊名称】《系统仿真学报》
【年(卷),期】2007(19)A01
【摘要】若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。

汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。

组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。

我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。

【总页数】5页(P21-25)
【关键词】Petri网;家态;汇合性质;同步合成;共享合成
【作者】王鹏伟;吴哲辉
【作者单位】山东科技大学信息科学与工程学院
【正文语种】中文
【中图分类】TP301
【相关文献】
1.Petri网共享T型子网合成结构性质分析及其应用 [J], 夏传良
2.Petri网共享T型子网合成公平性分析 [J], 夏传良
3.Petri网共享PP-型子网合成性质分析 [J], 夏传良;焦莉;陆维明
4.同步合成Petri网系统活性与无死锁性的保持性 [J], 蒲飞;陆维明
5.共享合成Petri网的性质分析 [J], 庞善臣;蒋昌俊;孙萍;周长红
因版权原因，仅展示原文概要，查看原文内容请购买。