科研之友
微信
新浪微博
Facebook
分享链接
摘要
针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题，提出了一个新的Petri网模型，即带有时间戳的着色逻辑Petri网。首先，将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次，引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束，使得模型能够用于模拟实时系统。再次，定义库所约束函数并为变迁使能规则增加输出库所上的约束，使得模型能够适用于存储资源有限的场景。接着，提出基于逻辑变迁输入输出矩阵的匹配法，降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后，重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法，解决原有模型语义在新模型中不适用的问题。最后，通过实例说明新的Petri网模型具有更强的表达能力和适用范围，它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。
- 单位
