描述离散动态系统的集合标识Petri网:STPNs

摘要：

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenS Petri Nets, STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具.

关键词：Petri网、离散事件动态系统、集合标识

所属期刊栏目：24

分类号：TP393(计算技术、计算机技术)

在线出版日期：2004-09-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：59-65