欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。
英文摘要：
If for any two reachable marking of a Petri net there is a marking reachable from both of them, we call the Petri net have confluence property, This property proved to be of great importance when we are dealing with the set of reachable markings and home marking of a Petri net, There is a very close relationship between confluence for rewriting systems and confluence for Petri nets. So the research of confluence property for Petri nets appears very important. Compositional design idea is an effective method to model complex systems, and we attach importance to the research of Petri nets＇ composition. Synchronous and Sharing Synthesis are two effective methods to analyse structure-complex Petri nets. In this paper, we analyse the confluence property of Petri nets firstly, then we discuss the preservation problems for confluence property in synchronous and sharing synthesis of Petri net systems, and we propose some conclusions.
同期刊论文项目
同项目期刊论文
Course ontology-based user';s knowledge requirement acquisition from behaviors within e-learning sys
Modeling and analysis for workflow constrained by resources and nondetermined time: An approach base
Conflict detection and resolution for workflows constrained by resources and non-determined duration
期刊信息
位置：