Skip to Main content Skip to Navigation
Journal articles

Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net

Abstract : Recently, there has been a great interest in the modeling and analysis of process industry, and various models are proposed for different uses. It is meaningful to have a model to serve as an analytical aid tool in short-term scheduling for oil refinery process. However, in oil refinery process, there are special constraints and requirements, and the existing models cannot be applied directly. Thus, as an application in this paper, we extend the hybrid Petri net to model the crude-oil operations in oil refinery process. This Petri net is called controlled colored timed Petri net (CCTPN). In this model, a token carries both discrete and continuous properties. A token in a discrete place shows its discrete properties, while the continuous properties are captured when it is in a continuous place. A discrete transition treats a token just as a discrete one, and a continuous transition deals with it as a continuous one. In this way, we integrate the discrete and continuous processes together in the CCTPN. Based on the CCTPN, liveness for CCTPN is defined, and with the liveness definition we show how to detect conflicts in scheduling the system by using this model.
Document type :
Journal articles
Complete list of metadatas

https://hal-utt.archives-ouvertes.fr/hal-02498059
Contributor : Daniel Gavrysiak <>
Submitted on : Wednesday, March 4, 2020 - 10:04:54 AM
Last modification on : Thursday, March 5, 2020 - 1:34:49 AM

Identifiers

Collections

ROSAS | UTT | CNRS

Citation

Naiqi Wu, Liping Bai, Chengbin Chu. Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, Institute of Electrical and Electronics Engineers, 2007, 37 (4), pp.461-472. ⟨10.1109/TSMCC.2007.897339⟩. ⟨hal-02498059⟩

Share

Metrics

Record views

48