On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach

@article{Bashir2018OnSR,
  title={On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach},
  author={Muhammad Bashir and Zhiwu Li and Murat Uzam and Naiqi Wu and Abdulrahman M. Al-Ahmari},
  journal={IMA J. Math. Control. Inf.},
  year={2018},
  volume={35},
  pages={1217-1249}
}
A deluge of studies has been carried out on deadlock prevention and liveness enforcement for flexible manufacturing systems (FMSs). This paper reports an algebraic procedure to find a set of merged place invariants, aiming to reduce the structural complexity of a liveness-enforcing Petri net supervisor for an FMS. Firstly, given an uncontrolled Petri net model, a set of control places as well as their corresponding place invariants are computed by using the existing methods. A systematic… 
Optimal enforcement of liveness to flexible manufacturing systems modeled with Petri nets via transition-based controllers
TLDR
A transition-based control technique to prevent deadlocks for flexible manufacturing systems that can be modeled with a generalized class of Petri nets using the structural properties of the Petri net model to avoid the computation of its reachability graph which in general leads to the state explosion problem.
Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control
TLDR
A new method to construct a supervisory structure using combine control places and control transitions to ensure flexible manufacturing systems’ smooth operation is proposed, which retains all the states generated in the controlled Petri net model.
Optimal enforcement of liveness for decentralized systems of flexible manufacturing systems using Petri nets
TLDR
A new method for decentralized supervisory control using the PetriNet paradigm that can be applied to a complex Petri net model for flexible manufacturing systems, has less computational complexity when compared with the previous methods and can obtain a minimal number of decentralized controllers that enforce liveness of the uncontrolled Petrinets.
Global Supervisory Structure for Decentralized Systems of Flexible Manufacturing Systems Using Petri Nets
TLDR
The proposed method can both reduce the computational complexity by decomposition of large Petri net models into several subnets and structural complexity by designing a global supervisory structure that can greatly reduce the cost at the implementation stage.
Liveness Enforcement for Time Petri Nets
TLDR
The results show that a maximally permissive solution of liveness enforcement can be computed if it exists and an algorithm to control the time intervals of controllable transitions such that a non-live time Petri net can be transformed into a live timePetri net.
A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems
TLDR
A new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs) is presented, which provides an approach to design control places for each computed GMEC without solving integer linear programming problems, which greatly reduces the computational costs.

References

SHOWING 1-10 OF 86 REFERENCES
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
TLDR
A novel and computationally efficient method to design optimal control places, and an iteration approach that only computes the reachability graph of a plant Petri net model once in order to obtain a maximally permissive liveness-enforcing supervisor for an FMS.
Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS
In the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri net, and then the
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
  • Z. Li, H. S. Hu, A. Wang
  • Business
    IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)
  • 2007
TLDR
This correspondence develops a methodology to synthesize supervisors for a special class of Petri nets that can well model many flexible manufacturing systems that can usually lead to a structurally simple liveness-enforcing supervisor by adding only a small number of monitors and arcs.
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems
TLDR
Improvements are presented using the Petri net reduction approach to simplify very large PetriNet models so as to alleviate computation effort and simplifying the invariant-based control method.
Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
TLDR
This paper develops a two-stage approach to synthesizing liveness-enforcing supervisors for flexible manufacturing systems (FMS) that can be modeled by a class of Petri nets that is more efficient and structurally simpler than all the known existing methods.
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems
TLDR
A deadlock prevention method that makes a good tradeoff between optimality and computational tractability for a class of Petri nets, which can model many FMS.
Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets
This paper, by using Petri nets (PNs), reports a general approach, called a think globally, act locally (TGAL) method, to compute liveness-enforcing supervisors (LES) for flexible manufacturing
Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems
TLDR
Though the proposed methods cannot in general guarantee the minimality of the supervisory structure, they reduce the overall computational time greatly, which is shown by numerical studies.
A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems
TLDR
The proposed divide-and-conquer-method for the synthesis of liveness enforcing supervisors (LES) for flexible manufacturing systems (FMS) is generally applicable, easy to use, effective and straightforward although its off-line computation is of exponential complexity in theory.
...
...