Related Experiment Video
Updated: Jul 7, 2026
05:47
Simulation of a Scaled Assembly Process with Collaboration of a Robotic Arm and Monitoring through a Vision System for Quality Control
Published on: August 29, 2025
A Petri net synthesis theory for modeling flexible manufacturing systems
1Dept. of Electr. Eng., Nat. Taiwan Ocean Univ., Keelung.
Summary
This study introduces a modular Petri net theory for flexible manufacturing systems (FMS). It presents an efficient algorithm for analyzing system liveness, improving upon traditional methods.
Area of Science:
- Manufacturing Systems Engineering
- Computer Science
- Control Theory
Background:
- Flexible manufacturing systems (FMS) require robust modeling techniques.
- Traditional Petri net methods can be computationally intensive for complex FMS.
- Modular approaches offer potential for improved scalability and analysis.
Purpose of the Study:
- To develop a novel theory synthesizing Petri nets for FMS modeling.
- To introduce a bottom-up, modular-composition approach using Resource Control Nets (RCNs).
- To propose an efficient algorithm for detecting structural liveness in FMS models.
Main Methods:
- Modeling FMS subsystems as Resource Control Nets (RCNs).
- Merging RCN modules into a conservative and bounded net.
- Developing an algorithm to detect structural liveness based on net structure and initial marking.
- Relating liveness conditions to structural objects called siphons.
Main Results:
- The synthesized net models are conservative and bounded.
- An efficient algorithm for detecting structural liveness is developed.
- The algorithm's efficiency is demonstrated compared to state enumeration techniques.
- The theory's applicability is shown through modeling and analysis of a sample FMS.
Conclusions:
- The proposed modular Petri net theory provides an effective framework for FMS modeling.
- The developed liveness detection algorithm offers computational advantages.
- This approach enhances the analysis and design of flexible manufacturing systems.
Related Concept Videos
01:22Multi-input and Multi-variable systems
Cruise control systems in cars are designed as multi-input systems to maintain a driver's desired speed while compensating for external disturbances such as changes in terrain. The block diagram for a cruise control system typically includes two main inputs: the desired speed set by the driver and any external disturbances, such as the incline of the road. By adjusting the engine throttle, the system maintains the vehicle's speed as close to the desired value as possible.
In the absence of...
In the absence of...
01:21Mechanistic Models: Overview of Compartment Models
Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...
01:24Sequence Networks of Rotating Machines
A Y-connected synchronous generator, grounded through a neutral impedance, is designed to produce balanced internal phase voltages with only positive-sequence components. The generator's sequence networks include a source voltage that is exclusively in the positive-sequence network. The sequence components of line-to-ground voltages at the generator terminals illustrate this configuration.
Zero-sequence current induces a voltage drop across the generator's neutral impedance and other...
Zero-sequence current induces a voltage drop across the generator's neutral impedance and other...
01:30Simplified Synchronous Machine Model
The Synchronous Machine Model is a fundamental tool in analyzing and ensuring the transient stability of power systems. This model simplifies the representation of a synchronous machine under balanced three-phase positive-sequence conditions, assuming constant excitation and ignoring losses and saturation. The model is pivotal for understanding the behavior of synchronous generators connected to a power grid, particularly during transient events.
In this model, each generator is connected to a...
In this model, each generator is connected to a...
01:29Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
01:26Classification of Systems-I
Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as: