模型库与可视化建模支持环境的沟通

本文首先讨论了ＤＳＳ中的模型的定义，并着重研究了用时序逻辑公式来描述模型过程，研究了时序逻辑与Ｐｅｔｒｉ网的互换算法，把信息用户可见的可视化模型同模型库中存贮的模型统一起来。