摘要
为降低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.
出处
《计算机辅助工程》
2006年第2期27-30,共4页
Computer Aided Engineering
基金
国家自然科学基金重点项目(60434010)
关键词
建模
仿真
消息序列表
PETRI网
虚拟制造
modeling
simulation
message sequence chart （MSC）
Petri net
virtual manufacturing （VM）
