Related Experiment Video
Updated: Jul 18, 2026
10:44
Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
Published on: December 7, 2021
Maximal class of weakly live ordinary Petri nets without emptiable siphons
1Management Information Systems Department, National Chengchi University, Taipei 116, Taiwan, ROC. yaw@mis.nccu.edu.tw
Summary
Deadlock-free nets are not always live due to virtual first-order structures (VFOS). Nets without VFOS (NV nets) are live if no siphons empty, a property held by asymmetric choice, synchronized choice, and extended synchronized choice nets.
Area of Science:
- Computer Science
- Formal Methods
- Petri Nets
Background:
- Deadlock-freedom in Petri nets does not guarantee liveness.
- Virtual first-order structures (VFOS) are key to understanding liveness limitations.
- Nets are classified as virtual nets (V nets) or nonvirtual nets (NV nets) based on VFOS presence.
Purpose of the Study:
- To analyze the liveness properties of specific Petri net classes.
- To determine if certain complex net types belong to the class of nonvirtual nets (NV nets).
- To clarify the relationship between VFOS, siphon emptiness, and liveness in these nets.
Main Methods:
- Classification of nets based on the presence or absence of virtual first-order structures (VFOS).
- Analysis of liveness conditions, specifically focusing on the property that no siphons can become empty.
- Categorization of asymmetric choice nets, synchronized choice nets, and extended synchronized choice nets within the V net or NV net framework.
Main Results:
- Nets with VFOS (V nets) may be live or not live, depending on siphon emptiness.
- Nets without VFOS (NV nets) are live if and only if no siphons can become empty.
- Asymmetric choice nets, synchronized choice nets, and extended synchronized choice nets are demonstrated to be NV nets.
Conclusions:
- The study confirms that asymmetric choice nets, synchronized choice nets, and extended synchronized choice nets are nonvirtual nets (NV nets).
- This classification implies that these specific net types are live precisely when their siphons do not empty.
- Understanding VFOS is crucial for guaranteeing liveness in complex Petri net models.
Related Concept Videos
01:22Net Change Theorem
The Net Change Theorem is a fundamental principle in calculus that establishes a direct relationship between a function’s rate of change and its accumulated change over an interval. Mathematically, it states that the definite integral of a function's derivative over a given interval [a,b] yields the net change in the original function:This theorem has significant applications in various real-world scenarios, including physics, economics, and engineering. A particularly useful application is in...
01:31Alternative Sets of Equilibrium Equations
When analyzing the behavior of structures, engineers often rely on the concept of equilibrium. This refers to the state where all forces and moments acting on a system balance each other, resulting in no net movement or rotation. In many cases, equilibrium can be described by a set of standard equations. However, in some situations, alternative sets of equilibrium equations must be used to describe the system's behavior accurately.
One example of such a situation can be observed in a...
One example of such a situation can be observed in a...
01:34Woodward–Hoffmann Selection Rules and Microscopic Reversibility
Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...
01:30The Squeeze Theorem
Certain mathematical functions exhibit unpredictable or highly variable behavior near specific input values, making direct evaluation of their limits challenging. This complexity may arise from rapid oscillations or irregular patterns that obscure the function’s trend. In such cases, the Squeeze Theorem offers a reliable method for determining limits.According to the Squeeze Theorem, if a function is confined between two other functions near a particular point, and both outer functions approach...
01:26Constraints and Statical Determinacy
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
01:19Cyclic Processes And Isolated Systems
A thermodynamic system with zero heat exchange and work is an isolated system. For these systems, the internal energy remains constant.
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state.
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each path...
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state.
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each path...