scispace - formally typeset
Journal ArticleDOI

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Reads0
Chats0
TLDR
This paper is motivated by FMSs' control; however, it is also applicable to other systems with discrete event controllers and some new theoretical results are developed.
Abstract
Modern complex systems require intensive application of sophisticated supervisors Structural simplification techniques are one of the fundamental researches in the context of flexible manufacturing systems (FMSs) They can reduce implementation cost, mitigate fabrication complexity, and improve reliability Several typical methods have been developed along this direction In order to thoroughly explore their effectiveness and performance, we not only conduct a comparison investigation but also develop some new theoretical results Several analytical results and performance measures are proposed for their qualitative and quantitative comparison Our approach can assist researchers and practitioners to better comprehend the inherent mechanisms and relative merits of these simplification methodologies as well as their applicability in FMSs This paper is motivated by FMSs’ control; however, it is also applicable to other systems with discrete event controllers

read more

Citations
More filters
Journal ArticleDOI

A Siphon-Based Deadlock Prevention Strategy for S 3 PR

TL;DR: The experimental results show that a supervisor with a simpler structure, higher behavioral permissiveness, and lower computational complexity can be obtained by the proposed strategy since neither the exhaustive siphon enumeration nor the reachability analysis is required.
Journal ArticleDOI

Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements

TL;DR: This paper develops a structurally simple Petri net deadlock controller for automated manufacturing systems (AMSs) with multiple resource requirements by designing a control place with a proper control variable for each PRT-circuit in an effective transition cover and presenting an algorithm for checking the effectiveness of transition covers, and transforming noneffective transition covers into effective ones.
Journal ArticleDOI

A Two-Stage Approach to Path Planning and Collision Avoidance of Multibridge Machining Systems

TL;DR: This paper presents a two-stage method for both static path planning and dynamic collision avoidance of multiple machines and provides a novel priority net structure to prevent mutual waiting of two neighboring machines ready to enter their overlapping workspace.
Journal ArticleDOI

A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources

TL;DR: A thorough review of existing robust supervisory control policies for AMSs with unreliable resources is compared and analyzed in terms of their structural complexity, behavioral permissiveness, and computational complexity to provide a reference source for solving industrial application problems that are subject to resource failures.
Journal ArticleDOI

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming

TL;DR: This work proposes an innovative MIP method to compute an emptiable minimal siphon ( EMS) for a subclass of PNs named S4PR, where many particular structural characteristics of EMS in S4 PR are formalized as constraints, which greatly reduces the solution space.
References
More filters
Journal ArticleDOI

A Petri net based deadlock prevention policy for flexible manufacturing systems

TL;DR: This paper illustrates a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri nets that is built from state machines sharing a set of places modeling the availability of system resources.
Journal ArticleDOI

Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

TL;DR: It is proved that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented and is suitable for large-scale Petri nets.
Proceedings ArticleDOI

Generalized mutual exclusion contraints on nets with uncontrollable transitions

TL;DR: For some classes of nets, the authors prove that generalized mutual exclusion constraints may always be enforced by monitors, even in the presence of uncontrollable transitions.
Journal ArticleDOI

Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings

TL;DR: The main purpose of this correspondence is to establish that, contrary to the claims that are made in the paper by D. Y. Chao and S. A. Reveliotis concerning the liveness characterization of the S3PGR2 nets by means of the structural object of deadly marked siphon, the results are correct and complete.
Journal ArticleDOI

Design of a live and maximally permissive Petri net controller using the theory of regions

TL;DR: This paper addresses the forbidden state problem of Petri nets with liveness requirement and uncontrollable transitions with the proposed approach computes a maximally permissive PN controller, whenever such a controller exists.
Related Papers (5)