|
|||||
|
|
| 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: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |