Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Sorghum Crop Modeling and Its Utility in Agronomy and Breeding

Crop models are simplified mathematical representations of the interacting biological and environmental components of the dynamic soil–plant–environment system. Sorghum crop modeling has evolved in parallel with crop modeling capability in general, since its origins in the 1960s and 1970s. Here we briefly review the trajectory in sorghum crop modeling leading to the development of advanced models. We then (i) overview the structure and function of the sorghum model in the Agricultural Production System sIMulator (APSIM) to exemplify advanced modeling concepts that suit both agronomic and breeding applications, (ii) review an example of use of sorghum modeling in supporting agronomic management decisions, (iii) review an example of the use of sorghum modeling in plant breeding, and (iv) consider implications for future roles of sorghum crop modeling. Modeling and simulation provide an avenue to explore consequences of crop management decision options in situations confronted with risks associated with seasonal climate uncertainties. Here we consider the possibility of manipulating planting configuration and density in sorghum as a means to manipulate the productivity–risk trade-off. A simulation analysis of decision options is presented and avenues for its use with decision-makers discussed. Modeling and simulation also provide opportunities to improve breeding efficiency by either dissecting complex traits to more amenable targets for genetics and breeding, or by trait evaluation via phenotypic prediction in target production regions to help prioritize effort and assess breeding strategies. Here we consider studies on the stay-green trait in sorghum, which confers yield advantage in water-limited situations, to exemplify both aspects. The possible future roles of sorghum modeling in agronomy and breeding are discussed as are opportunities related to their synergistic interaction. The potential to add significant value to the revolution in plant breeding associated with genomic technologies is identified as the new modeling frontier.

Supercritical CO2 recovery of caffeine from green coffee oil: new experimental solubility data and modeling

The caffeine solubility in supercritical CO2 was studied by assessing the effects of pressure and temperature on the extraction of green coffee oil (GCO). The Peng-Robinson¹ equation of state was used to correlate the solubility of caffeine with a thermodynamic model and two mixing rules were evaluated: the classical mixing rule of van der Waals with two adjustable parameters (PR-VDW) and a density dependent one, proposed by Mohamed and Holder² with two (PR-MH, two parameters adjusted to the attractive term) and three (PR-MH3 two parameters adjusted to the attractive and one to the repulsive term) adjustable parameters. The best results were obtained with the mixing rule of Mohamed and Holder² with three parameters.

Supercritical CO2 recovery of caffeine from green coffee oil: new experimental solubility data and modeling

The caffeine solubility in supercritical CO2 was studied by assessing the effects of pressure and temperature on the extraction of green coffee oil (GCO). The Peng-Robinson¹ equation of state was used to correlate the solubility of caffeine with a thermodynamic model and two mixing rules were evaluated: the classical mixing rule of van der Waals with two adjustable parameters (PR-VDW) and a density dependent one, proposed by Mohamed and Holder² with two (PR-MH, two parameters adjusted to the attractive term) and three (PR-MH3 two parameters adjusted to the attractive and one to the repulsive term) adjustable parameters. The best results were obtained with the mixing rule of Mohamed and Holder² with three parameters.

Estudo dos parâmetros operacionais do processo de combustão in situ em reservatório de petróleo pesado

The occurrence of heavy oil reservoirs have increased substantially and, due to the high viscosity characteristic of this type of oil, conventional recovery methods can not be applied. Thermal methods have been studied for the recovery of this type of oil, with a main objective to reduce its viscosity, by increasing the reservoir temperature, favoring the mobility of the oil and allowing an increasing in the productivity rate of the fields. In situ combustion (ISC) is a thermal recovery method in which heat is produced inside the reservoir by the combustion of part of the oil with injected oxygen, contrasting with the injection of fluid that is heated in the surface for subsequent injection, which leads to loss heat during the trajectory to the reservoir. The ISC is a favorable method for recovery of heavy oil, but it is still difficult to be field implemented. This work had as an objective the parametric analysis of ISC process applied to a semi-synthetic reservoir with characteristics of the Brazilian Northeast reservoirs using vertical production and vertical injection wells, as the air flow injection and the wells completions. For the analysis, was used a commercial program for simulation of oil reservoirs using thermal processes, called Steam, Thermal and Advanced Processes Reservoir Simulator (STARS) from Computer Modelling Group (CMG). From the results it was possible to analyze the efficiency of the ISC process in heavy oil reservoirs by increasing the reservoir temperature, providing a large decrease in oil viscosity, increasing its mobility inside the reservoir, as well as the improvement in the quality of this oil and therefore increasing significantly its recovered fraction. Among the analyzed parameters, the flow rate of air injection was the one which had greater influence in ISC, obtaining higher recovery factor the higher is the flow rate of injection, due to the greater amount of oxygen while ensuring the maintenance of the combustion front

Estudo dos parâmetros operacionais do processo de combustão in situ em reservatório de petróleo pesado

The occurrence of heavy oil reservoirs have increased substantially and, due to the high viscosity characteristic of this type of oil, conventional recovery methods can not be applied. Thermal methods have been studied for the recovery of this type of oil, with a main objective to reduce its viscosity, by increasing the reservoir temperature, favoring the mobility of the oil and allowing an increasing in the productivity rate of the fields. In situ combustion (ISC) is a thermal recovery method in which heat is produced inside the reservoir by the combustion of part of the oil with injected oxygen, contrasting with the injection of fluid that is heated in the surface for subsequent injection, which leads to loss heat during the trajectory to the reservoir. The ISC is a favorable method for recovery of heavy oil, but it is still difficult to be field implemented. This work had as an objective the parametric analysis of ISC process applied to a semi-synthetic reservoir with characteristics of the Brazilian Northeast reservoirs using vertical production and vertical injection wells, as the air flow injection and the wells completions. For the analysis, was used a commercial program for simulation of oil reservoirs using thermal processes, called Steam, Thermal and Advanced Processes Reservoir Simulator (STARS) from Computer Modelling Group (CMG). From the results it was possible to analyze the efficiency of the ISC process in heavy oil reservoirs by increasing the reservoir temperature, providing a large decrease in oil viscosity, increasing its mobility inside the reservoir, as well as the improvement in the quality of this oil and therefore increasing significantly its recovered fraction. Among the analyzed parameters, the flow rate of air injection was the one which had greater influence in ISC, obtaining higher recovery factor the higher is the flow rate of injection, due to the greater amount of oxygen while ensuring the maintenance of the combustion front

Stochastic modelling of the reservoir lithological and petrophysical attributes. A case study of the Middle East carbonate reservoir

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Injeção de vapor e solvente como um método de recuperação avançada em reservatório avançada em reservatórios de óleo pesado

Currently a resource more and more used by the petroleum industry to increase the efficiency of steam flood mechanism is the addition of solvents. The process can be understood as a combination of a thermal method (steam injection) with a miscible method (solvent injection), promoting, thus, the reduction of interfacial tensions and oil viscosity. The use of solvent alone tends to be limited because of its high cost. When co-injected with steam, the vaporized solvent condenses in the cooler regions of the reservoir and mixes with the oil, creating a zone of low viscosity between the steam and the heavy oil. The mobility of the displaced fluid is then improved, resulting in an increase of oil recovery. To better understand this improved oil recovery method, a numerical study of the process was done contemplating the effects of some operational parameters (distance between wells, injection steam rate, kind of solvent and injected solvent volume)on the accumulated production of oil, recovery factor and oil-steam rate. Semisynthetic models were used in this study but reservoir data can be extrapolated for practical applications situations on Potiguar Basin. Simulations were performed in STARS (CMG, 2007.11). It was found that injected solvent volumes increased oil recovery and oil rates. Further the majority of the injected solvent was produced and can be recycled

Estudo paramétrico da injeção de vapor em reservatórios delgados

Exploration of heavy oil reservoirs is increasing every year in worldwide, because the discovery of light oil reservoirs is becoming increasingly rare. This fact has stimulated the research with the purpose of becoming viable, technically and economically, the exploration of such oil reserves. In Brazil, in special in the Northeast region, there is a large amount of heavy oil reservoir, where the recovery by the so called secondary methods Water injection or gas injection is inefficient or even impracticable in some reservoirs with high viscosity oils (heavy oils). In this scenario, steam injection appears as an interesting alternative for recover of these kinds of oil reservoirs. Its main mechanism consists of oil viscosity reduction through steam injection, increasing reservoir temperature. This work presents a parametric simulation study of some operational and reservoir variables that had influence on oil recovery in thin reservoirs typically found in Brazilian Northeast Basins, that use the steam injection as improved oil recovery method. To carry out simulations, it was used the commercial software STARS (Steam, Thermal, and Advanced Processes Reservoir Simulator) from CMG (Computer Modeling Group) version 2007.11. Reservoirs variables studied were horizontal permeability, vertical and horizontal permeability ratio, water zone and pay zone thickness ratio, pay zone thickness and thermal conductivity of the rock. Whereas, operational parameters studied were distance between wells and steam injection rate. Results showed that reservoir variables that had more influence on oil recovery were horizontal permeability and water zone and pay zone thickness ratio. In relation to operational variables, results showed that short distances between wells and low steam injection rates improved oil recovery

Estudo da segregação gravitacional do processo de injeção de vapor em reservátórios heterogêneos

Due to reservoirs complexity and significantly large reserves, heavy oil recovery has become one of the major oil industry challenges. Thus, thermal methods have been widely used as a strategic method to improve heavy oil recovery. These methods improve oil displacement through viscosity reduction, enabling oil production in fields which are not considered commercial by conventional recovery methods. Among the thermal processes, steam flooding is the most used today. One consequence in this process is gravity segregation, given by difference between reservoir and injected fluids density. This phenomenon may be influenced by the presence of reservoir heterogeneities. Since most of the studies are carried out in homogeneous reservoirs, more detailed studies of heterogeneities effects in the reservoirs during steam flooding are necessary, since most oil reservoirs are heterogeneous. This paper presents a study of reservoir heterogeneities and their influence in gravity segregation during steam flooding process. In this study some heterogeneous reservoirs with physical characteristics similar those found in the Brazilian Northeast Basin were analyzed. To carry out the simulations, it was used the commercial simulator STARS by CMG (Computer Modeling Group) - version 2007.11. Heterogeneities were modeled with lower permeability layers. Results showed that the presence of low permeability barriers can improve the oil recovery, and reduce the effects of gravity segregation, depending on the location of heterogeneities. The presence of these barriers have also increased the recovered fraction even with the reduction of injected steam rate

Análise paramétrica da simulação composicional do processo de Drenagem Gravitacional Assistida por Gás (GAGD)

In Brazil and around the world, oil companies are looking for, and expected development of new technologies and processes that can increase the oil recovery factor in mature reservoirs, in a simple and inexpensive way. So, the latest research has developed a new process called Gas Assisted Gravity Drainage (GAGD) which was classified as a gas injection IOR. The process, which is undergoing pilot testing in the field, is being extensively studied through physical scale models and core-floods laboratory, due to high oil recoveries in relation to other gas injection IOR. This process consists of injecting gas at the top of a reservoir through horizontal or vertical injector wells and displacing the oil, taking advantage of natural gravity segregation of fluids, to a horizontal producer well placed at the bottom of the reservoir. To study this process it was modeled a homogeneous reservoir and a model of multi-component fluid with characteristics similar to light oil Brazilian fields through a compositional simulator, to optimize the operational parameters. The model of the process was simulated in GEM (CMG, 2009.10). The operational parameters studied were the gas injection rate, the type of gas injection, the location of the injector and production well. We also studied the presence of water drive in the process. The results showed that the maximum vertical spacing between the two wells, caused the maximum recovery of oil in GAGD. Also, it was found that the largest flow injection, it obtained the largest recovery factors. This parameter controls the speed of the front of the gas injected and determined if the gravitational force dominates or not the process in the recovery of oil. Natural gas had better performance than CO2 and that the presence of aquifer in the reservoir was less influential in the process. In economic analysis found that by injecting natural gas is obtained more economically beneficial than CO2

Injeção de vapor e solvente como um método de recuperação avançada em reservatório avançada em reservatórios de óleo pesado

Currently a resource more and more used by the petroleum industry to increase the efficiency of steam flood mechanism is the addition of solvents. The process can be understood as a combination of a thermal method (steam injection) with a miscible method (solvent injection), promoting, thus, the reduction of interfacial tensions and oil viscosity. The use of solvent alone tends to be limited because of its high cost. When co-injected with steam, the vaporized solvent condenses in the cooler regions of the reservoir and mixes with the oil, creating a zone of low viscosity between the steam and the heavy oil. The mobility of the displaced fluid is then improved, resulting in an increase of oil recovery. To better understand this improved oil recovery method, a numerical study of the process was done contemplating the effects of some operational parameters (distance between wells, injection steam rate, kind of solvent and injected solvent volume)on the accumulated production of oil, recovery factor and oil-steam rate. Semisynthetic models were used in this study but reservoir data can be extrapolated for practical applications situations on Potiguar Basin. Simulations were performed in STARS (CMG, 2007.11). It was found that injected solvent volumes increased oil recovery and oil rates. Further the majority of the injected solvent was produced and can be recycled

Estudo paramétrico da injeção de vapor em reservatórios delgados

Exploration of heavy oil reservoirs is increasing every year in worldwide, because the discovery of light oil reservoirs is becoming increasingly rare. This fact has stimulated the research with the purpose of becoming viable, technically and economically, the exploration of such oil reserves. In Brazil, in special in the Northeast region, there is a large amount of heavy oil reservoir, where the recovery by the so called secondary methods Water injection or gas injection is inefficient or even impracticable in some reservoirs with high viscosity oils (heavy oils). In this scenario, steam injection appears as an interesting alternative for recover of these kinds of oil reservoirs. Its main mechanism consists of oil viscosity reduction through steam injection, increasing reservoir temperature. This work presents a parametric simulation study of some operational and reservoir variables that had influence on oil recovery in thin reservoirs typically found in Brazilian Northeast Basins, that use the steam injection as improved oil recovery method. To carry out simulations, it was used the commercial software STARS (Steam, Thermal, and Advanced Processes Reservoir Simulator) from CMG (Computer Modeling Group) version 2007.11. Reservoirs variables studied were horizontal permeability, vertical and horizontal permeability ratio, water zone and pay zone thickness ratio, pay zone thickness and thermal conductivity of the rock. Whereas, operational parameters studied were distance between wells and steam injection rate. Results showed that reservoir variables that had more influence on oil recovery were horizontal permeability and water zone and pay zone thickness ratio. In relation to operational variables, results showed that short distances between wells and low steam injection rates improved oil recovery

Estudo da segregação gravitacional do processo de injeção de vapor em reservátórios heterogêneos

Due to reservoirs complexity and significantly large reserves, heavy oil recovery has become one of the major oil industry challenges. Thus, thermal methods have been widely used as a strategic method to improve heavy oil recovery. These methods improve oil displacement through viscosity reduction, enabling oil production in fields which are not considered commercial by conventional recovery methods. Among the thermal processes, steam flooding is the most used today. One consequence in this process is gravity segregation, given by difference between reservoir and injected fluids density. This phenomenon may be influenced by the presence of reservoir heterogeneities. Since most of the studies are carried out in homogeneous reservoirs, more detailed studies of heterogeneities effects in the reservoirs during steam flooding are necessary, since most oil reservoirs are heterogeneous. This paper presents a study of reservoir heterogeneities and their influence in gravity segregation during steam flooding process. In this study some heterogeneous reservoirs with physical characteristics similar those found in the Brazilian Northeast Basin were analyzed. To carry out the simulations, it was used the commercial simulator STARS by CMG (Computer Modeling Group) - version 2007.11. Heterogeneities were modeled with lower permeability layers. Results showed that the presence of low permeability barriers can improve the oil recovery, and reduce the effects of gravity segregation, depending on the location of heterogeneities. The presence of these barriers have also increased the recovered fraction even with the reduction of injected steam rate

Análise paramétrica da simulação composicional do processo de Drenagem Gravitacional Assistida por Gás (GAGD)

In Brazil and around the world, oil companies are looking for, and expected development of new technologies and processes that can increase the oil recovery factor in mature reservoirs, in a simple and inexpensive way. So, the latest research has developed a new process called Gas Assisted Gravity Drainage (GAGD) which was classified as a gas injection IOR. The process, which is undergoing pilot testing in the field, is being extensively studied through physical scale models and core-floods laboratory, due to high oil recoveries in relation to other gas injection IOR. This process consists of injecting gas at the top of a reservoir through horizontal or vertical injector wells and displacing the oil, taking advantage of natural gravity segregation of fluids, to a horizontal producer well placed at the bottom of the reservoir. To study this process it was modeled a homogeneous reservoir and a model of multi-component fluid with characteristics similar to light oil Brazilian fields through a compositional simulator, to optimize the operational parameters. The model of the process was simulated in GEM (CMG, 2009.10). The operational parameters studied were the gas injection rate, the type of gas injection, the location of the injector and production well. We also studied the presence of water drive in the process. The results showed that the maximum vertical spacing between the two wells, caused the maximum recovery of oil in GAGD. Also, it was found that the largest flow injection, it obtained the largest recovery factors. This parameter controls the speed of the front of the gas injected and determined if the gravitational force dominates or not the process in the recovery of oil. Natural gas had better performance than CO2 and that the presence of aquifer in the reservoir was less influential in the process. In economic analysis found that by injecting natural gas is obtained more economically beneficial than CO2