摘要
把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法．研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法．
The Petri net is applied to graph-based model management and modding support.Tocope with the model management, the concept of Petri net is extended and the Petri net rep-resentation for a mathematical model is proposed.The cycling and the connection of Petri netmodel are studied and algorithms for model solving and model generation are given.
出处
《华中理工大学学报》
CSCD
北大核心
1995年第5期52-56,共5页
Journal of Huazhong University of Science and Technology
关键词
PETRI网
建模
模型生成
模型管理
Petri net
Modeling support
model generation
model management
