双管道原油运输系统的着色赋时可控Petri网建模

针对双管道原油运输（高低凝固点原油）系统，利用着色赋时可控Petri网进行建模，分析多个关键约束，特别是高凝固点原油运输管道的约束。利用模块化建模方法，分层建模，结构严谨，描述系统行为完整，可作为观察系统物流信息和短期生产调度制定的辅助工具。

Modeling of Dual Pipeline Crude Oil Transportation Systems by Controlled Colored Timed Petri Net

With the nature of hybrid system for an oil refinery, the modeling of oil refining system is one of the most difficult problems in operating a refinery process. For the convenience of analysis of such a system, a controlled colored timed Petri net (CCTPN) model is proposed for modeling crude oil operations. The CCTPN is extended to model dual pipeline crude oil transportation system with high/low fusion point oil. With a variety of practical production constraints, especially the high fusion point oil transportation constraints, the properties of the system are analyzed. Then, with a modular modeling approach and by decomposing the system into several sub problems, a Petri net model is developed such that the system is modeled in a hierarchical way, making the model compact. With this model, the system behavior can be effectively analyzed. Moreover, it can be used as an assistant tool for verifying the logistics information and short term scheduling.