Related Experiment Video
Updated: Jul 7, 2026
05:30
Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
Published on: September 8, 2023
Supervisory control of Petri nets using routing functions: starvation avoidance issues
Summary
This study introduces routing functions for supervisory control of Petri nets, offering a novel approach to prevent starvation. This method utilizes continuous net versions and linear algebraic equations for efficient computation.
Area of Science:
- Computer Science
- Control Theory
- Discrete Mathematics
Background:
- Supervisory control of Petri nets traditionally relies on control places.
- Existing methods can be complex and may not efficiently address issues like starvation.
- A need exists for alternative control mechanisms in Petri net systems.
Purpose of the Study:
- To introduce routing functions as a new paradigm for supervisory control of Petri nets.
- To demonstrate the relationship between routing functions and traditional control places.
- To develop a method for computing routing functions to avoid starvation in Petri nets.
Main Methods:
- Utilizing routing functions instead of control places for Petri net control.
- Employing a continuous version of the Petri net with linear algebraic equations.
- Applying algebraic polynomial geometry for continuous models and Diophantine equations for discrete models.
Main Results:
- Established the relationship between routing functions and control places.
- Developed a computational method for routing functions to prevent starvation.
- Demonstrated the effectiveness of the proposed control strategy.
Conclusions:
- Routing functions offer a viable and potentially more efficient alternative for supervisory control of Petri nets.
- The proposed method effectively addresses the starvation problem in general Petri nets.
- The integration of continuous and discrete mathematical tools provides a robust framework for analysis and computation.
Related Concept Videos
01:21Control System Problem
In an open-loop system, such as a basic thermostat, the poles of the transfer function influence the system's response but do not determine its stability. However, when feedback is introduced to form a closed-loop system, such as an advanced thermostat that adjusts heating based on room temperature, stability is governed by the new poles of the closed-loop transfer function.
When forming a closed-loop system, issues can arise if the poles cross into the unstable region, leading to potential...
When forming a closed-loop system, issues can arise if the poles cross into the unstable region, leading to potential...
01:21Distributed Loads: Problem Solving
Beams are structural elements commonly employed in engineering applications requiring different load-carrying capacities. The first step in analyzing a beam under a distributed load is to simplify the problem by dividing the load into smaller regions, which allows one to consider each region separately and calculate the magnitude of the equivalent resultant load acting on each portion of the beam. The magnitude of the equivalent resultant load for each region can be determined by calculating...
02:26Protein Networks
An organism can have thousands of different proteins, and these proteins must cooperate to ensure the health of an organism. Proteins bind to other proteins and form complexes to carry out their functions. Many proteins interact with multiple other proteins creating a complex network of protein interactions.
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
01:25Control Systems: Applications
Electrical engineering plays a pivotal role in our daily lives, with control systems at the heart of many applications, from home appliances to sophisticated space shuttles. Control systems manage and regulate the behavior of devices and processes, ensuring they function safely, correctly, and efficiently.
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The direction...
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The direction...
01:24PI Controller: Design
Proportional Integral (PI) controllers are a fundamental component in modern control systems, widely used to enhance performance and mitigate steady-state errors. They are particularly effective in applications such as automatic brightness adjustment on smartphones, where they excel at mitigating steady-state errors for step-function inputs. Unlike PD controllers, which require time-varying errors to function optimally, PI controllers leverage their integral component to address residual...
01:11IP3/DAG Signaling Pathway
Membrane lipids such as phosphatidylinositol (PI) are precursors for several membrane-bound and soluble second messengers. Specific kinases phosphorylate PI and produce phosphorylated inositol phospholipids. One such inositol phospholipids are the phosphatidylinositol-4,5 bisphosphate [PI(4,5)P2], present in the inner half of the lipid bilayer. Upon ligand binding, GPCR stimulates Gq proteins to turn on phospholipase Cꞵ. Activated phospholipase Cꞵ cleaves PI(4,5)P2 and produces two-second...