When modelling and analysing business processes, the main emphasis is usually put on model validity and accuracy, i.e., the model meets the formal specification and also models the relevant system. In recent years, a series of metrics has begun to de...
Some infectious diseases such as COVID-19 have the characteristics of long incubation period, high infectivity during the incubation period, and carriers with mild or no symptoms which are more likely to cause negligence. Global researchers are worki...
In this paper, we aim to explore the operational performance of a green closed-loop supply chain under random events. A green closed-loop supply chain model based on generalized stochastic Petri nets (GSPN) is built using the Petri nets theory. Accor...
Maintenance plays a crucial role in the availability of an asset. In particular, when a company’s assets are decentralized, logistical aspects directly impact maintenance management and, consequently, productivity. In the energy generation sect...
Determining the ideal size of maintenance staff is a daunting task, especially in the operation of large and complex mechanical systems such as thermal power plants. On the one hand, a significant investment in maintenance is necessary to maintain th...
To address the dynamic characteristics of data collection, risk assessment, and response execution in intelligent traffic warning systems, this study proposes a modeling and performance analysis framework based on Stochastic Petri Nets (SPN). An SPN...
Rapid changes in electricity power markets have increased the production costs of coal-fired power plants and pushed their production to the limits of profitability. For power plants currently in operation, a possible approach to cope with this issue...
In this study, we conceptualize the demands imposed on emergency supply chains during extraordinary emergency events as “stress” and develop a scenario-based stress evolution (SE) analytical approach in emergency mobilization decision-mak...
With the advancement of modern agricultural technology and the expansion of large-scale production, this article aims to solve the difficulties in plant disease and pest control through the application of artificial intelligence and automation techno...
Interleukin 18 (IL-18) is a proinflammatory and proatherogenic cytokine with pleiotropic properties, which is involved in T and NK cell maturation and the synthesis of other inflammatory cytokines and cell adhesion molecules. It plays a significant r...
In this study, we analyzed the evolution of online public opinion on emergencies using a new Stochastic Petri Net modeling approach. First, an intuitive description of the emergency online public opinion development process was conceptualized from th...
Handover is crucial for ensuring seamless connectivity in heterogeneous networks (HetNet) by enabling user equipment (UE) to switch its connection link between cells based on signal conditions. However, conventional analytical approaches ignored the...
Atherosclerosis is a multifactorial disease that affects large arteries and causes much morbidity and mortality worldwide. Despite ongoing research for several decades, it is still a global health problem that cannot be stopped and cured completely....
Maintainability is a critical design characteristic of products. Maintainability evaluation plays an important role in maintainability design. Existing maintainability evaluation approaches neglect logistic effects on system maintainability. In this...
Emergency scenario characterization and analysis is an essential approach to describing and understanding the future development of emergencies and assisting in response decision-making. This paper aims to develop a method for emergency evolution ana...
This paper discusses the Reliability, Availability, Maintainability, and Safety (RAMS) of an electrical power supply system in a large European hospital. The primary approach is based on fuzzy logic and Petri nets, using the CPNTools software to simu...
The time synchronization of LTE-R train-to-ground communication systems plays an important role in ensuring the safety of high-speed railways. In the LTE-R time synchronization process, existing problems, such as the time synchronization message broa...
Predicting system faults is critical to improving productivity, reducing costs, and enforcing safety in industrial processes. Yet, traditional methodologies frequently falter due to the intricate nature of the task. This research presents a novel use...
The boom seen in artificial intelligence in recent years has led to a revolution in the automotive industry. Numerous automakers around the world, such as Tesla, Toyota, Honda, and BMW, have achieved giant strides in the development of e-autonomous v...
Applications in the Internet of Things (IoT) context continuously generate large amounts of data. The data must be processed and monitored to allow rapid decision making. However, the wireless connection that links such devices to remote servers can...
Sustainable healthcare systems are gaining more importance in the era of globalization. The efficient planning with sustainable resources in healthcare systems is necessary for the patient’s satisfaction. The proposed research considers perform...
Controller Area Network (CAN) remains a key in-vehicle communication protocol for distributed automotive control systems, where predictable communication timing is essential for coordinated operation of electronic control units (ECUs). This paper pre...
In the rapidly evolving urban advanced mobility (UAM) sphere, Vehicular Ad Hoc Networks (VANETs) are crucial for robust communication and operational efficiency in future urban environments. This paper quantifies VANETs to improve their reliability a...
As one of the active defense technologies, the honeypot deceives the latent intruders to interact with the imitated systems or networks deployed with security mechanisms. Its modeling and performance analysis have not been well studied. In this paper...
As Intelligent Transportation Systems (ITS) transition towards automated ecosystems, the deployment of advanced wireless charging technologies becomes a critical infrastructure requirement. Central to the management of these networks is the Open Char...
Surveillance monitoring systems are highly necessary, aiming to prevent many social problems in smart cities. The internet of things (IoT) nowadays offers a variety of technologies to capture and process massive and heterogeneous data. Due to the fac...
With the development of satellite communication networks and the increase of satellite services, security problems have gradually become some of the most concerning issues. Researchers have made great efforts, including conventional safety methods su...
Smart cities are confronted with a variety of disaster threats. Among them, natural fires pose a serious threat to human lives, the environment, and asset security. In view of the fact that existing research mostly focuses on the analysis of accident...
Mobile Edge Computing (MEC) has emerged as a promising network computing paradigm associated with mobile devices at local areas to diminish network latency under the employment and utilization of cloud/edge computing resources. In that context, MEC s...
The spread of the Coronavirus (COVID-19) pandemic across countries all over the world urges governments to revolutionize the traditional medical hospitals/centers to provide sustainable and trustworthy medical services to patients under the pressure...
Cloud computing has been widely adopted over the years by practitioners and companies with a variety of requirements. With a strong economic appeal, cloud computing makes possible the idea of computing as a utility, in which computing resources can b...
This paper is about the incremental computation of control sequences for discrete event systems in uncertain environments where uncontrollable events may occur. Timed Petri nets are used for this purpose. The aim is to drive the marking of the net fr...
Currently, there is a lack of developer-friendly software tools to formally address multi-robot coordination problems and obtain robust, efficient, and predictable strategies. This paper introduces a software toolbox that encapsulates, in one single...
Domestic renewable energy systems, including photovoltaic energy generation, as well as local storage, are becoming increasingly popular and economically feasible, but do come with a wide range of options. Hence, it can be difficult to match their sp...
Quality of service (QoS) is a crucial requirement in distributed applications. Internet of Things architectures have become a widely used approach in many application domains, from Industry 4.0 to smart agriculture; thus, it is crucial to develop app...
The basic reproduction number (
The high reliability of modern engineering systems is achieved by performing predictive maintenance. Mathematical models based on stochastic timed colored Petri nets are an effective tool for developing complex production processes for Industry 4.0....
The application of queueing theory is very broad. Examples include electronic communication systems and devices. New technologies, electronic communication systems, and devices are used by many modern organizations. However, this implies certain requ...
In software reliability engineering, software-rejuvenation and -checkpointing techniques are widely used for enhancing system reliability and strengthening data protection. In this paper, a stochastic framework composed of a composite stochastic Petr...
Since the 1990s, Petri nets have been used in systems biology for quantitative modeling. Despite the increasing number of models developed during this period, doubts remain about their biological relevance. Although biological systems predominantly e...
This paper proposes a formally analyzable Cloud-IoT architecture for educational environments, connecting learners, teachers, and institutional administrators to a shared cloud infrastructure through an intermediate IoT layer. The architecture is ins...
The insulin-dependent activation and recycling of the insulin receptor play an essential role in the regulation of the energy metabolism, leading to a special interest for pharmaceutical applications. Thus, the recycling of the insulin receptor has b...
Natural disasters may require that the residents of the affected area be evacuated immediately using a potentially damaged infrastructure. In this paper, we developed a mesoscopic simulation modeling approach for modeling traffic flow over a large ge...
The energy efficient operation of a manufacturing system is important for sustainable development of industry. Apart from the device and process level, energy saving methods at the system level has attracted increasing attention with the rapid growth...
Self-cleansing intrusion-tolerant systems mitigate attacker intrusions and control through periodic recovery, thereby enhancing both availability and security. However, vulnerabilities in the control link render these systems susceptible to request f...
With increasing deployment of offshore wind farms further from shore and in deeper waters, the efficient and effective planning of operation and maintenance (O&M) activities has received considerable attention from wind energy developers and oper...
Developing the efforts to implement sustainability policies in the energy field requires the most accurate information on the potential of available resources to properly implement concrete policies. Total net energy yields are interpreted in isolati...
The digital era expands the scope and application of information technologies, which also affects the forms of e-learning, motivating the development of combined systems with heterogeneous resources and services, including in the cloud. In this vein,...
International transport corridors (ITCs) are intricate logistical networks essential for global trade flows. The effective modeling of these corridors provides invaluable insights into optimizing the transport system. However, existing approaches hav...
This paper develops an evaluation method for assessing autonomous decision-making performance and demonstrates it using a case study. Focusing on community decision-making practice in energy-environmental innovation projects, a decision-making model...
of 2