Petri网在时序建模中的应用 |
| |
引用本文: | 周必水,倪慧莉. Petri网在时序建模中的应用[J]. 杭州电子科技大学学报, 2001, 21(4): 1-8 |
| |
作者姓名: | 周必水 倪慧莉 |
| |
作者单位: | 杭州电子工业学院计算机分院 |
| |
摘 要: | 本文提出了一种对离散事件系统进行时序建模的TL/PN(时序/Petri)方法。文中描述了点-区间时序逻辑的形式定义体系,以及基于图模型(把系统的时序特性转化为图结构)的时序推理机(TIE)的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。
|
关 键 词: | 时序建模 Petri网 离散事件系统 |
文章编号: | 1001-9146(2001)04-0001-08 |
修稿时间: | 2001-04-25 |
Using Petri Nets For Temporal Modeling |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 维普 万方数据 等数据库收录! |
|