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

Asma Ghaffari 1 Nidhal Rezg 1 Xiaolan Xie 1
1 MACSI - Industrial system modeling, analysis and operation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham like reasoning, determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.
Type de document :
Article dans une revue
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 2003, 19 (1), pp.137-141
Liste complète des métadonnées

https://hal.inria.fr/inria-00099640
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:39:39
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00099640, version 1

Collections

Citation

Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Design of live and maximally permissive Petri net controller using theory of regions. IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 2003, 19 (1), pp.137-141. 〈inria-00099640〉

Partager

Métriques

Consultations de la notice

151