Lexicographic Multiobjective Integer Programming for Optimal and Structurally Minimal Petri Net Supervisors of Automated Manufacturing Systems

Based on Petri net (PN) models of automated manufacturing systems, this paper proposes a deadlock prevention method to obtain a maximally permissive (optimal) supervisor while minimizing its structure. The optimal supervisor can be achieved by forbidding all first-met bad markings (FBMs) and permitt...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on systems, man, and cybernetics. Systems man, and cybernetics. Systems, 2015-11, Vol.45 (11), p.1459-1470
Main Authors: Bo Huang, MengChu Zhou, GongXuan Zhang, Ammari, Ahmed Chiheb, Alabdulwahab, Ahmed, Fayoumi, Ayman G.
Format: Article
Language:English
Subjects:
Automated manufacturing system (AMS)
Automation
Computational modeling
Computers
Conversion
Cybernetics
deadlock prevention
discrete event system
Integer programming
Invariants
Law
Legal
Linear programming
linear programming problem
Nonlinearity
Optimization
Petri net (PN)
Supervisors
System recovery
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Based on Petri net (PN) models of automated manufacturing systems, this paper proposes a deadlock prevention method to obtain a maximally permissive (optimal) supervisor while minimizing its structure. The optimal supervisor can be achieved by forbidding all first-met bad markings (FBMs) and permitting all legal markings in a PN model. An FBM obtained via a single transition's firing at a legal marking is a deadlock or marking that inevitably evolves into a deadlock. A lexicographic multiobjective integer programming problem with multiple objectives to be achieved sequentially is formulated to design such an optimal and structurally minimal supervisor. As a nonlinear function, the quantity of its directed arcs is minimized. A conversion method is proposed to convert the nonlinear model into a linear one. With the premise that each place in the supervisor is associated with a nonnegative place invariant, the controlled net holds all legal markings of the net model, and the supervisor has the minimal structure. Finally, some examples are used to illustrate the application of the proposed approach.
ISSN:2168-2216
2168-2232
DOI:10.1109/TSMC.2015.2415765