基于经典Petri网，进行了标识和语义扩展，定义了集合标识Petri网(Set-TokenS Petri Nets，STPNs)．在定义STPNs时，构造了携带属性集合的抽......