| 虚拟制造企业的Petri网建模/仿真 |
| |
| 引用本文： | 周二辉,邵晨曦,范金锋,冯海林.虚拟制造企业的Petri网建模/仿真[J].计算机辅助工程,2006,15(2):27-30. |
| |
| 作者姓名： | 周二辉 邵晨曦 范金锋 冯海林 |
| |
| 作者单位： | 中国科学技术大学,计算机科学技术系,安徽,合肥,230027 |
| |
| 摘 要： | 为降低Petri网建模难度并增强模型的可读性，提出一种通过消息序列表（Message Sequence Chart，MSC）模型对虚拟制造（Virtual Manufacturing，VM）企业的生产经营过程进行Petri网建模的新方法．建立冲突消解机制，给出从MSC模型到Petri网模型的转换算法，在不改变Petri模型活性、安全性和有界性等特性的基础上对其进一步优化，并对Petri网模型进行分析与评估．
|
| 关 键 词： | 建模 仿真 消息序列表 Petri网 虚拟制造 |
| 文章编号： | 1006-0871（2006）02-0027-04 |
| 收稿时间： | 2006-01-12 |
| 修稿时间： | 2006-01-28 |
Petri net modeling/simulation of virtual manufacturing enterprise |
| |
| ZHOU Erhui,SHAO Chenxi,FAN Jinfeng,FENG Hailin.Petri net modeling/simulation of virtual manufacturing enterprise[J].Computer Aided Engineering,2006,15(2):27-30. |
| |
| Authors: | ZHOU Erhui SHAO Chenxi FAN Jinfeng FENG Hailin |
| |
| Abstract: | 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. |
| |
| Keywords: | modeling simulation message sequence chart (MSC) Petri net virtual manufacturing (VM) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
