欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是＂高层Petri网＂。高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息。高级Petri网图形的结构可概括为＂三类图元及其注释＂。
英文摘要：
The definition of the High-level Petri Net （HLPN） is suggested in the ISO/IEC15909 according the net＇s composition. The concept of HLPN should be understood along the four levels of node, extending, incidence matrix, and initial marking. The HLPN＇s essential properties are the extending domain D and the extending mapping Type, the both variables binding some different values could bring out the Colored Petri Net, the Predicate/Transition Net, and the Time Petri Net, etc. Actually, HLPN is high-level net and no the high-class net. The High-level Petri Net Graph （HLPNG） is derived from the Predicate/Transition Net by the way of folding, that is, decreasing the number of the graph elements and increasing the information carried by a graph element. HLPNG＇s structure could be summarized as ＂the three kinds of element and its annotations＂.
同期刊论文项目
同项目期刊论文
期刊信息
位置：