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

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (14): 242-245.

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

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

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

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-05-11 发布日期:2011-05-11

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

摘要/Abstract

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

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

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

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

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]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[3]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[4]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[5]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[6]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[7]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[8]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[9]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[10]	崔未，王卫华，黄樟灿，谈庆. 基于GEP算法的高阶常微分方程预测模型[J]. 计算机工程与应用, 2018, 54(18): 256-262.
[11]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[12]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.
[13]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[14]	任大勇. 用直觉模糊Petri网构建的供应链可靠性诊断模型[J]. 计算机工程与应用, 2017, 53(5): 260-265.
[15]	刘红，方贤文，刘祥伟. 流程树切挖掘业务流程隐变迁的方法[J]. 计算机工程与应用, 2017, 53(22): 222-226.