基于Petri网的模型管理

Ｐｅｔｒｉ网作为建模工具已有广泛的应用，但把Ｐｅｔｒｉ网用于模型管理和建模支持却很少见。本文从信息用户和模型建立者的角度出发，讨论了基于Ｐｅｔｒｉ网的建模。首先对Ｐｅｔｒｉ网作一些必要的扩充，提出了一些新的概念，使Ｐｅｔｒｉ网能适应模型管理和建模支持；并且还着重研究数学模型及产生式系统的Ｐｅｔｒｉ网表示和Ｐｅｔｒｉ网的建模过程。