虚拟制造企业的Petri网建模／仿真  

Petri net modeling/simulation of virtual manufacturing enterprise

作　　者：周二辉[1] 邵晨曦[1] 范金锋[1] 冯海林[1] 

机构地区：[1]中国科学技术大学计算机科学技术系,安徽合肥230027

出　　处：《计算机辅助工程》2006年第2期27-30,共4页Computer Aided Engineering

基　　金：国家自然科学基金重点项目(60434010)

摘　　要：为降低Petri网建模难度并增强模型的可读性,提出一种通过消息序列表(Message Sequence Chart,MSC)模型对虚拟制造(Virtual Manufacturing,VM)企业的生产经营过程进行Petri网建模的新方法．建立冲突消解机制,给出从MSC模型到Petri网模型的转换算法,在不改变Petri模型活性、安全性和有界性等特性的基础上对其进一步优化,并对Petri网模型进行分析与评估．To decrease the difficulty of Petri net modeling and enhance the readability of the model, a new method is presented by Message Sequence Chart （MSC） model, which can construct Petri net model for the producing and operating process in Virtual Manufacturing （VM） enterprise. The mechanism to solve the conflict is constructed and the transforming algorithm from MSC to Petri net model is proposed. Then the method of optimizing the Petri net is provided, which preserves the properties of liveness, safeness, and boundedness. And the analysis and evaluation of the Petri net model is also given.

关 键 词：建模 仿真 消息序列表 PETRI网 虚拟制造 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]