Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets

Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets

Show other versions (1)

Le contrôle de systèmes industriels à cause de l’automatisation et la réduction de nombre des opérateurs devient un enjeu crucial. Les systèmes de production automatisés (AMS) sont d’autant plus touchés car une défaillance du programme de contrôle peut réduire considérablement la productivité voire...

Full description

Bibliographic Details
Main Author:	Liu, Gaiyun
Other Authors:	Paris, CNAM
Language:	en
Published:	2014
Subjects:	Systèmes de production automatisés Réseaux de Petri Blocage Siphon Synthèse de contrôleurs Automated manufacturing system Petri net Deadlock Controller synthesis 004
Online Access:	http://www.theses.fr/2014CNAM0970/document

Similar Items

Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets.
by: Liu, Gaiyun
Published: (2014)

On intrinsically live structure and deadlock control of generalized Petri nets modeling flexible manufacturing systems
by: Liu, Ding
Published: (2015)

Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources
by: Abdulrahman Al-Ahmari, et al.
Published: (2020-01-01)

Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems
by: Husam Kaid, et al.
Published: (2019-12-01)

Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons
by: Gaiyun Liu, et al.
Published: (2019-01-01)

Event Circular Waits and Their Analysis via Petri Nets
by: Xing Fan, et al.
Published: (2021-01-01)

Virtual Control Policy for Binary Ordered Resources Petri Net Class
by: Carlos A. Rovetto, et al.
Published: (2016-08-01)

Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes
by: Husam Kaid, et al.
Published: (2020-07-01)

A livelock control policy for a flexible manufacturing system modeling with a subclass of generalized Petri nets
by: C.Q. Hou, et al.
Published: (2014-12-01)

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources
by: Umar Suleiman Abubakar, et al.
Published: (2021-01-01)

Optimal supervisory control of flexible manufacturing systems
by: Chen, Yufeng
Published: (2015)

Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems With Multiple Unreliable Resources
by: Huixia Liu, et al.
Published: (2020-01-01)

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets
by: Dan You, et al.
Published: (2018-01-01)

Reachability analysis of a class of Petri nets using place invariants and siphons
by: Zhi Wu Li
Published: (2013-07-01)

Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons
by: Mahmoud Salaheldin Elsayed, et al.
Published: (2021-01-01)

On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets
by: Dajiang Sun, et al.
Published: (2019-01-01)

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources
by: Xiaoyan Li, et al.
Published: (2019-01-01)

An Efficient Deadlock Recovery Policy for Flexible Manufacturing Systems Modeled With Petri Nets
by: Yunyun Dong, et al.
Published: (2019-01-01)

Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems
by: Adel Al-Shayea, et al.
Published: (2021-01-01)

Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems
by: Chao Gu, et al.
Published: (2018-01-01)

An MIP-Based Deadlock Prevention Policy for Siphon Control
by: Qiaoli Zhuang, et al.
Published: (2019-01-01)

Petri Net Model Based on Neural Network for Deadlock Control and Fault Detection and Treatment in Automated Manufacturing Systems
by: Husam Kaid, et al.
Published: (2020-01-01)

A Robust Prevention Method for Automated Manufacturing Systems With Unreliable Resources Using Petri Nets
by: Nan Du, et al.
Published: (2018-01-01)

Design of River System Deadlock Avoidance Supervisor by Using Petri Net
by: Danko Kezić, et al.
Published: (2010-05-01)

Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach
by: Hefeng Chen, et al.
Published: (2019-01-01)

One Computational Innovation Transition-Based Recovery Policy for Flexible Manufacturing Systems Using Petri nets
by: Yen-Liang Pan
Published: (2020-03-01)

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control
by: Muhammad Bashir, et al.
Published: (2021-01-01)

A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems
by: Muhammad Bashir, et al.
Published: (2017-01-01)

A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis
by: Wei Duan, et al.
Published: (2019-01-01)

Test and diagnosis of discrete event systems using Petri nets
by: Pocci, Marco
Published: (2013)

On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets
by: Rongfeng Lin, et al.
Published: (2020-01-01)

Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network
by: Husam Kaid, et al.
Published: (2021-01-01)

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems
by: Chengzong Li, et al.
Published: (2017-01-01)

Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach
by: Chen Chen, et al.
Published: (2019-01-01)

Detecção e correção de situações de deadlock em workflow nets interorganizacionais
by: Silva, Luciane de Fátima
Published: (2016)

Marine Traffic Optimization Using Petri Net and Genetic Algorithm
by: Anita Gudelj, et al.
Published: (2012-11-01)

On Computation Reduction of Liveness-Enforcing Supervisors
by: Chao Wang, et al.
Published: (2017-01-01)

An Optimal Deadlock Recovery Algorithm for Special and Complex Flexible Manufacturing Systems-S₄PR
by: Ter-Chan Row, et al.
Published: (2021-01-01)

Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems
by: Menghuan Hu, et al.
Published: (2020-01-01)

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy
by: Oussama Karoui, et al.
Published: (2018-01-01)