共 2 条
模型库与可视化建模支持环境的沟通
被引:1
作者:
王红卫
何勇
费奇
机构:
[1] 华中理工大学系统工程研究所!武汉副教授
[2] 华中理工大学系统工程研究所!武汉
来源:
关键词:
Petri网;
可视化建模支持;
模型表示;
时序逻辑;
D O I:
暂无
中图分类号:
TP311.13 [];
学科分类号:
1201 ;
摘要:
本文首先讨论了DSS中的模型的定义,并着重研究了用时序逻辑公式来描述模型过程,研究了时序逻辑与Petri网的互换算法,把信息用户可见的可视化模型同模型库中存贮的模型统一起来.
引用
收藏
页码:34 / 39
页数:6
相关论文