Modeling and verification of the correct behavior of embedded real-time systems with strict timing constraints is a well-known and important problem. Failing to fulfill a deadline in system operation can have severe consequences in the practical case...
Tourist congestion and load imbalance during peak periods pose critical challenges to the safe operation and experience assurance of large scenic areas. To address the limitations of traditional management approaches in capturing the dynamic and stoc...
In order to address the problem of the real-time scheduling and control of batch chemical systems, this work proposes a model predictive control method based on Petri nets. First, a method is presented to construct a batch chemical system’s tim...
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...
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....
This paper proposes an optimal solution to large-scale Flexible Manufacturing System (FMS) scheduling problems under availability constraints based on Timed Petri Nets (TPNs). First a decomposition method of TPNs is proposed, then a mathematical mode...
In order to fit circuit electromagnetic emissions within a spectral mask, a design flow based on high level current modeling for micropipeline circuits is proposed. The model produces a quick and rough estimation of the circuit current, thanks to a T...
Cross-organizational collaboration in digital manufacturing systems is often hindered by fragmented data handoff, inconsistent versions, and delayed downstream collaboration across lifecycle stages and heterogeneous systems. To address this issue, a...
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 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...
The transport sector is responsible for about 60% of emissions in the atmosphere due to the exhaust-polluting gases of internal combustion engine (ICE) vehicles. An effective solution to this issue is the electrification of the transport means, which...
In order to improve quality assurance in wafer manufacturing, there are strict process requirements. Besides the well-known residency time constraints (RTCs), a dual-arm cluster tool also requires each robot arm to execute a specific set of tasks. We...
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...
Based on an analysis of the working principles of the hydraulic variable pitch system of a wind turbine, a novel Petri net model and reliability evaluation method are proposed. First, Petri net theory is adopted to build a model for each discrete sta...
Despite the recent rapid progress in high throughput measurements of biological data, it is still difficult to gather all of the reaction speed data in biological pathways. This paper presents a Petri net-based algorithm that can derive estimated val...
This study is concerned with the imperfect virtual-reality mapping relationship in cyber–physical systems (CPSs) and the challenge faced in knowledge-based decisions. Regarding those problems, a double-layer mapping Petri net (DMPN) model is pr...
The basic reproduction number (
Construction management plays a fundamental role in the sustainability of construction projects, as its primary objective is to enhance cost-effectiveness and efficient resource utilization. One of the main challenges encountered at the early stages...
This paper focuses on embedded system modeling, proposing a solution to obtain a refined net via the refinement operation of an extended Petri net. Object-oriented technology and Petri net with inhibitor-arcs-based representation for embedded systems...
Simplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known formalism, and FlexSim, a well...
Interpretable decision-making algorithms are important when used in the context of production optimization. While concepts like Petri nets are inherently interpretable, they are not straightforwardly learnable. This paper presents a novel approach to...
This study addresses the challenge of improving fault management in hydroelectric systems using Petri nets. The objective is to propose a novel methodology for efficient fault diagnosis and intervention in the Governor system, a critical component in...
We investigate the detectability verification problem of time-dependent systems modeled by time labeled Petri nets that are a typical time-dependent model of many computer-integrated systems in modern society, characterized by networked connections....
This article presents the design and implementation of an API that delivers real-time promotional notifications to mobile devices based on their proximity to shopping centers, calculated using the Haversine formula. Developed in Laravel, the API dete...
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...
This article defines a new concept for real-time factory management—manufacturing maps. Manufacturing maps are generated from two fundamental elements, mini-terms and Petri nets. Mini-terms are sub-times of a technical cycle, the time it takes...
Supervisory control theory (SCT), based on Petri nets, offers a robust framework for modeling and controlling discrete-event systems but faces significant challenges in scalability, expressiveness, and practical implementation. This paper introduces...
Petri nets represent a highly versatile mathematical formalism for modeling discrete event and hybrid systems. For the development of modern complex production processes for Industry 4.0, integrating these formal models with industrial communication...
With the development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration, but also acts as a valid means for resource failure management. It is...
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 construction of large-scale buildings often faces extended production cycles due to inefficiencies in scheduling processes. To address this challenge, a timed Petri net model was developed to analyze and optimize construction scheduling. Based on...
Cyber-physical systems need more intelligent decision-making methods. To address this issue with respect to incomplete process models and inefficient scheduling, we have previously proposed a new method called Petri-nets-adaptive ant colony optimizat...
In order to solve the vulnerability problem of the integrated energy system in the transportation industry, a vulnerability cascade propagation model based on the Petri net is proposed. The article comprehensively considers the configuration of the e...
The detection and defense of malicious attacks are critical to the proper functioning of network security. Due to the diversity and rapid updates of the attack methods used by attackers, traditional defense mechanisms have been challenged. In this co...
The paper proposes a novel design technique of cyber-physical systems (CPSs). The system is specified by a Petri net, and further modelled in a hardware description language (HDL) towards final implementation in a programmable device. Contrary to the...
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...
Accurate and rapid fault diagnosis is critical for active distribution networks characterized by growing structural complexity and diverse load profiles. This paper proposes a two-stage fault diagnosis framework that synergistically combines colored...
Intrusion Detection Systems (IDSs) are a crucial component of modern corporate firewalls. The ability of IDS to identify malicious traffic is a powerful tool to prevent potential attacks and keep a corporate network secure. In this context, Machine L...
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...
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...
Petri nets (PNs) are widely used to model flexible manufacturing systems (FMSs). This paper deals with the performance optimization of FMSs modeled by Petri nets that aim to maximize the system’s performance under a given budget by optimizing b...
Mobile robots are extensively used to complete repetitive operations in industrial areas such as intelligent transportation, logistics, and manufacturing systems. This paper addresses the path planning problem of multi-type robot systems with time wi...
The increasing operational variability in distribution networks (e.g., abrupt load changes and distributed generation integration) increases the demands on voltage regulation devices and, in particular, on transformers with on-load tap changers (OLTC...
Sustainable management of sugar agro-industrial value chains requires a multidimensional approach that integrates economic, environmental, and social criteria. Current literature addresses risk management, circularity, and artificial intelligence in...
Nowadays, urban and suburban areas face increasing environmental pressures, and encouraging sustainable transportation behaviors at the household level has become crucial. This paper presents a model of a decision support system (DSS) for promoting s...
The technological revolution and the evolution of technology have significantly facilitated the applicability of the IoT in various domains, such as healthcare, transportation, agriculture, retail, education, and, especially, higher education, which...
Chemical emergencies in transport are rare but operationally demanding. This study presents a framework that converts the timeline of a real intervention involving a cyclohexylamine leak after a tanker truck overturned into a Petri net and subsequent...
The flexible job-shop scheduling problem with indirect energy and time-of-use (ToU) electricity pricing (FJSP-IT) is investigated. Considering the production cost, which includes the indirect energy cost, direct energy cost and time cost, the cost ev...
Currently, we are facing an increasing trend in the use of unmanned aerial vehicles (UAV) in various activities, both civilian and military. The application of UAVs in the battlefield has received extensive attention amid a global new military revolu...
This paper introduces a novel algorithm for the efficient verification of a Petri net-based concurrent control system. The proposed method is based on the computation of transition invariant coverage to detect possible errors in the modelled system....
of 4