未找到相关数据
Petri网在时序建模中的应用
被引：2
作者：
周必水
倪慧莉
机构：
[1] 杭州电子工业学院计算机分院
[2] 杭州电子工业学院计算机分院 浙江杭州
[3] 浙江杭州
来源：
关键词：
时序建模;
时序推理机;
点-区间时序逻辑;
Petri网;
点图;
D O I：
10.13954/j.cnki.hdu.2001.04.001
中图分类号：
TP15 [自动模拟理论（自动仿真理论）];
学科分类号：
0711 ;
071102 ;
0811 ;
081101 ;
081103 ;
摘要：
本文提出了一种对离散事件系统进行时序建模的TL PN(时序 Petri)方法。文中描述了点 -区间时序逻辑的形式定义体系 ,以及基于图模型 (把系统的时序特性转化为图结构 )的时序推理机(TIE)的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误 ,同时推导出的新的时序关联还能识别用户自定义的有用区间
引用
收藏
页码：1 / 8
页数：8
相关论文