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

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

Set-Token Petri Nets for Discrete Event Dynamic System Description:STPNs

A set-token Petri nets (STPNs) is defined by extensions on tokens and semantics. a set-token is defined as an abstract token which represents the information of a cluster of individuals. An attribute set is defined to describe all the individuals by dividing them into groups according to a hierarchical attributes structure. Each group, a multi-tuple, is defined as an element of the attribute set. Extensions on semantics include structural elements extension and definition of calculations and functions. Structural elements extension includes the definitions of control nodes, routers, a communication arc, and the concept of time delay of transitions and places. Calculations and functions help to describe the complicated system operations on set-tokens. An example is presented to explain the dynamic analysis of a STPNs model. The STPNs is capable of describe the stochastic and controlling characteristics of a large scale DEDS(discrete event dynamic system), and plays a role of modeling tool in the analysis of DEDS(discrete event dynamic system) by simulation.