Gradual formalization modeling method for energy process system in iron and steel enterprises

Computer Engineering and Applications ›› 2011, Vol. 47 ›› Issue (14): 242-245.

• 工程与应用 • Previous Articles Next Articles

Gradual formalization modeling method for energy process system in iron and steel enterprises

ZHAO Fei1，HAN Xu2，QIAO Fei2，XU Weisheng2，WU Qidi1

1.College of Economics and Management，Tongji University，Shanghai 201804，China
2.College of Electronics and Information Engineering，Tongji University，Shanghai 201804，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-05-11 Published:2011-05-11

面向钢铁企业能源流程的逐步形式化建模方法

赵斐1，韩旭2，乔非2，许维胜2，吴启迪1

1.同济大学经济与管理学院，上海 201804
2.同济大学电子与信息工程学院，上海 201804

Abstract

Abstract: On the base of characteristics of energy process in the iron and steel enterprise，this paper presents a modeling method by which the energy system can be modeled in a gradual formalization way from UML model to Petri net one.The model of this style can be verified and assessed on the simulation platform，and then the simulation results are used to modify UML model，which can enhance the accuracy of the system’s realization and the efficiency of modeling.At last，the method presented is illustrated by modeling the energy process system involved in making iron.

Key words: iron and steel enterprises, energy process, Unified Modeling Language（UML）, Petri net, system modeling

摘要： 针对钢铁企业能源流程的特点，以及以往能源建模存在的不足，提出一种从UML到Petri网模型逐步形式化的建模方法。所建模型可以通过仿真平台进行验证评估，对能源流程进一步定性和定量分析，深入理解、优化，并可以根据反馈结果对UML模型进行修改，有助于提高系统编码实现的准确性，保证工程技术人员高效建模。以炼铁系统的能源流程系统建模为例，对方法进行说明。

关键词: 钢铁企业, 能源流程, 统一建模语言（UML）, Petri网, 系统建模

ZHAO Fei1，HAN Xu2，QIAO Fei2，XU Weisheng2，WU Qidi1. Gradual formalization modeling method for energy process system in iron and steel enterprises[J]. Computer Engineering and Applications, 2011, 47(14): 242-245.

赵斐1，韩旭2，乔非2，许维胜2，吴启迪1. 面向钢铁企业能源流程的逐步形式化建模方法[J]. 计算机工程与应用, 2011, 47(14): 242-245.

[1]	NI Ming, QIAN Siyuan, YANG Shanlin. Simulation and Optimization of Recycling and Reusing Process of Wasted Smart Phones [J]. Computer Engineering and Applications, 2021, 57(5): 258-263.
[2]	LU Wenxing, WANG Hupo, WANG Binyou. Research on Tourist Diversion in Scenic Spots Based on Timed Petri Net [J]. Computer Engineering and Applications, 2020, 56(8): 241-248.
[3]	FENG Fujian. Verification Analysis for Delay Time Petri Nets [J]. Computer Engineering and Applications, 2019, 55(4): 72-78.
[4]	DENG Liping1, DUAN Liguo2, YANG Lifeng2. Trust and Behavioral Method Based Web Services Selection [J]. Computer Engineering and Applications, 2019, 55(4): 112-118.
[5]	SONG Jian, FANG Xianwen, WANG Lili, LIU Xiangwei. Quasi Indirect Dependence Mining Method for Business Process Hide Transition [J]. Computer Engineering and Applications, 2019, 55(22): 265-270.
[6]	LUO Ling. Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net [J]. Computer Engineering and Applications, 2019, 55(1): 233-240.
[7]	CAO Rui, FANG Xianwen, WANG Lili. Optimization analysis of process mining based on quasi indirect dependence [J]. Computer Engineering and Applications, 2018, 54(9): 37-41.
[8]	LI Haiyan1, WANG Yanping1, ZHOU Jianyong2, LIU Jiufu2. Design of deadlock supervisor of partially controllable Petri nets [J]. Computer Engineering and Applications, 2018, 54(8): 48-54.
[9]	DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets [J]. Computer Engineering and Applications, 2018, 54(2): 208-213.
[10]	ZHANG Jing, WANG Liang, FAN Hongbo. Modeling and analysis of CPS physical entity spatio-temporal state [J]. Computer Engineering and Applications, 2018, 54(14): 41-44.
[11]	JIANG Jieqi, YANG Geng, LI Peng. Analysis of users’ behavior under cloud computing environment [J]. Computer Engineering and Applications, 2018, 54(14): 127-132.
[12]	WANG Liewei, WU Shuo, HU Junhua. Modelling and comparisons of traffic intersections based on Petri nets [J]. Computer Engineering and Applications, 2018, 54(14): 211-216.
[13]	REN Dayong. Reliability diagnosis model of supply chain based on intuitionistic fuzzy Petri net [J]. Computer Engineering and Applications, 2017, 53(5): 260-265.
[14]	LIU Hong, FANG Xianwen, LIU Xiangwei. Mining method of business process hide transitions based on process tree cut [J]. Computer Engineering and Applications, 2017, 53(22): 222-226.
[15]	ZHANG Zhengkun, ZHU Changfeng. Research on wagon-flow allocation for marshalling yard based on TPr/T_ system [J]. Computer Engineering and Applications, 2017, 53(21): 219-224.

Gradual formalization modeling method for energy process system in iron and steel enterprises

面向钢铁企业能源流程的逐步形式化建模方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics