Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems

Zhiwu Li

Résumé

This paper develops a place invariant based deadlock prevention method to obtain an optimal Petri net supervisor by considering its implemental cost. A supervisor is expressed by control places and the arcs connecting control places to transitions. We assign an implemental cost for each control place and arc. Maximally permissiveness can be achieved by designing place invariants that make all legal markings reachable while all first-met bad marking unreachable. By solving an integer linear programming problem (ILPP), a set of optimal control places are obtained and the objective function is used to minimize the implemental cost of the final supervisor. A vector covering approach is used to reduce the number of constraints and variables in the ILPP, aiming to reduce the computational overhead of the proposed method. Finally, a number of examples are used to illustrate the proposed approach
Fichier non déposé

Dates et versions

hal-01126090 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126090 , version 1

Citer

Yufeng Chen, Zhiwu Li, Kamel Barkaoui. Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. IEEE 16th International Conference on Emerging Technologies Factory Automation (ETFA), 2011, Feb 2011, X, France. pp.1 - 6. ⟨hal-01126090⟩
39 Consultations
0 Téléchargements

Partager

More