Petri网在时序建模中的应用

• 作者: 倪慧莉 周必水
• 来源期刊: 杭州电子科技大学学报（自然科学版）
• 关键词: 时序建模 时序推理机 点-区间时序逻辑 Petri 网 点 图
• 年，卷（期）: 2001,（4）
• 页码范围: 1-8
• 页数: 8页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-9146.2001.04.001

摘要

本文提出了一种对离散事件系统进行时序建模的TL/PN(时序/Petri)方法.文中描述了点-区间时序逻辑的形式定义体系,以及基于图模型(把系统的时序特性转化为图结构 )的时序推理机(TIE)的原理和应用.本方法不仅可避免传统设计中的时序歧义和错误, 同时推导出的新的时序关联还能识别用户自定义的有用区间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周必水		38	237	10.0	13.0
2	倪慧莉		3	40	2.0	3.0