Search

The concept of structured occurrence nets is an extension of that of occurrence nets which are directed acyclic graphs that represent causality and concurrency information concerning a single execution of a distributed system. The formalism of structured occurrence nets has been introduced to facilitate the portrayal and analysis of the behaviours, and in particular failures, of complex evolving systems. Such systems are composed of a large number of sub-systems which may proceed concurrently and interact with each other and with the external environment while their behaviour is subject to modification by other systems. The purpose of this paper is to provide an extension of structured occurrence nets to include models built up of acyclic nets rather than occurrence nets.

Migrants are among the groups most vulnerable to infection with viruses due to the social and economic conditions in which they live. Therefore, spatial modeling of virus transmission among migrants is important for controlling and containing the COVID-19 pandemic. This research focused on modeling spatial associations between COVID-19 incidence rates and migrant workers. The aim was to understand the spatial relationships between COVID-19 infection rates of migrants and the type of workplace at the subnational level in Oman. Using empirical Bayes smoothing as well as local indicators of spatial associations, six work sectors (health, agriculture, retail and business, administrative, manufacturing, and mining) were investigated as risk factors for disease incidence. The results indicated that the six work sectors each had a significant spatial association with cases of COVID-19. High rates of COVID-19 cases in relation to the workplace were clustered in the densely populated areas of Muscat. Similarly, high rates of COVID-19 cases were located in the northern part of the country, along the Al-Batnah plain, where migrants are often employed in the agricultural sector. Further, the rate of COVID-19 in migrants employed in the health sector was higher than that for the other sectors. Therefore, working in the health sector can be considered a hot spot for the spread of COVID-19 infections. Due to a paucity of studies addressing the spatial analysis of COVID-19 associations with workplaces, the findings of this research are useful for decision makers to set the necessary policies and plans to control the outbreak of the virus not only in Oman or the Gulf Cooperation Council but also in other developing societies.

In recent years, socioeconomic transformation and social modernisation in the Gulf Cooperation Council (GCC) states have led to tremendous changes in lifestyle and, subsequently, expansion of urban settlements. This accelerated growth is pronounced not only across vegetated coasts, plains, and mountains, but also in desert cities. Nevertheless, spatial simulation and prediction of desert urban patterns has received little attention, including in Oman. While most urban settlements in Oman are located in desert environments, research exploring and monitoring this type of urban growth is rare in the scientific literature. This research focuses on analysing and predicting land use−land cover (LULC) changes across the desert city of Ibri in Oman. A methodology was employed involving integrating the multilayer perceptron (MLP) and Markov chain (MC) techniques to forecast spatiotemporal LULC dynamics and map urban growth patterns. The inputs were three Landsat images from 2010 and 2020, and a series of covariate layers based on transforms of elevation, slope, population settlements, urban centres, and points of interest that proxy the driving forces of change. The findings indicated that the observed LULC changes were predominantly rapid across the city during 2010 to 2020, transforming desert, bare land, and vegetation into built-up areas. The forecast showed that area of land conversion from desert to urban would be 5666 ha during the next two decades and 7751 ha by 2050. Similarly, vacant land is expected to contribute large areas to urban expansion (2370 ha by 2040, and 3266 ha by 2050), although desert cities confront numerous environmental challenges, including water scarcity, shrinking vegetation cover, and being converted into residential land. Massive urban expansion has consequences for biodiversity and natural ecosystems—particularly in green areas, which are expected to decline by approximately 107 ha by 2040 (i.e., 10%) and 166 ha by 2050. The outcomes of this

In recent years, socioeconomic transformation and social modernisation in the Gulf Cooperation Council (GCC) states have led to tremendous changes in lifestyle and, subsequently, expansion of urban settlements. This accelerated growth is pronounced not only across vegetated coasts, plains, and mountains, but also in desert cities. Nevertheless, spatial simulation and prediction of desert urban patterns has received little attention, including in Oman. While most urban settlements in Oman are located in desert environments, research exploring and monitoring this type of urban growth is rare in the scientific literature. This research focuses on analysing and predicting land use−land cover (LULC) changes across the desert city of Ibri in Oman. A methodology was employed involving integrating the multilayer perceptron (MLP) and Markov chain (MC) techniques to forecast spatiotemporal LULC dynamics and map urban growth patterns. The inputs were three Landsat images from 2010 and 2020, and a series of covariate layers based on transforms of elevation, slope, population settlements, urban centres, and points of interest that proxy the driving forces of change. The findings indicated that the observed LULC changes were predominantly rapid across the city during 2010 to 2020, transforming desert, bare land, and vegetation into built-up areas. The forecast showed that area of land conversion from desert to urban would be 5666 ha during the next two decades and 7751 ha by 2050. Similarly, vacant land is expected to contribute large areas to urban expansion (2370 ha by 2040, and 3266 ha by 2050), although desert cities confront numerous environmental challenges, including water scarcity, shrinking vegetation cover, and being converted into residential land. Massive urban expansion has consequences for biodiversity and natural ecosystems—particularly in green areas, which are expected to decline by approximately 107 ha by 2040 (i.e., 10%) and 166 ha by 2050. The outcomes of this

Migrants are among the groups most vulnerable to infection with viruses due to the social and economic conditions in which they live. Therefore, spatial modeling of virus transmission among migrants is important for controlling and containing the COVID-19 pandemic. This research focused on modeling spatial associations between COVID-19 incidence rates and migrant workers. The aim was to understand the spatial relationships between COVID-19 infection rates of migrants and the type of workplace at the subnational level in Oman. Using empirical Bayes smoothing as well as local indicators of spatial associations, six work sectors (health, agriculture, retail and business, administrative, manufacturing, and mining) were investigated as risk factors for disease incidence. The results indicated that the six work sectors each had a significant spatial association with cases of COVID-19. High rates of COVID-19 cases in relation to the workplace were clustered in the densely populated areas of Muscat. Similarly, high rates of COVID-19 cases were located in the northern part of the country, along the Al-Batnah plain, where migrants are often employed in the agricultural sector. Further, the rate of COVID-19 in migrants employed in the health sector was higher than that for the other sectors. Therefore, working in the health sector can be considered a hot spot for the spread of COVID-19 infections. Due to a paucity of studies addressing the spatial analysis of COVID-19 associations with workplaces, the findings of this research are useful for decision makers to set the necessary policies and plans to control the outbreak of the virus not only in Oman or the Gulf Cooperation Council but also in other developing societies.

Although Saudi Arabia has experienced very high rates of urbanization, little interest has been given to investigating national and provincial trends in urbanization in space and time. Night-time lights satellite sensor data are considered as a suitable source of imagery for mapping urban areas across large regions. This study uses night-time lights data to analyze the spatial and temporal patterns and dynamics of urban growth in Saudi Arabia between 1992 and 2013 at the national and provincial levels. A hybrid method was applied to ensure the continuity and consistency of the Defense Meteorological Satellite Program (DMSP) Operational Line-Scan System (OLS) of stable night-time (SNT) data through time. As a result of spatial variation in the character of urban areas across Saudi Arabia, different thresholds were used to derive urban areas from the imagery. The extracted urban morphology was assessed using socio-economic data and finer resolution imagery, and accuracy assessment revealed excellent agreement. Based on the rigorous stepwise calibration analysis undertaken here, urban areas in Saudi Arabia were found to have increased three-fold between 1992 and 2013, with most of the increase concentrated in three provinces (Makkah, Riyadh and Eastern). In addition, significant variation was observed in urbanization at the provincial level. The observed high rates of urban growth are aligned with the prosperity and socio-economic development of Saudi Arabia over the last 40 years. The research shows that DMSP-OLS SNT data can provide a valuable source of information for mapping the space'time dynamics of urban growth across very large areas. Such data are required by urban and regional planners, as well as policy makers, for characterizing urban growth patterns, interpreting the drivers of such dynamics and for forecasting future growth, as well as achieving sustainable development management. © 2019 by the authors.