首页 | 本学科首页   官方微博 | 高级检索  
     

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:
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号