On the enforcement of a class of nonlinear constraints on Petri nets

• YuFeng Chen ^[1] ; ZhiWu Li ^[2] ; Kamel Barkaoui ^[3] ; Alessandro Giua ^[4]
  1. [1] Xidian University

     Xidian University

     China

     
  2. [2] King Abdulaziz University

     King Abdulaziz University

     Arabia Saudí

     
  3. [3] Conservatoire National des Arts et Métiers, Paris, France
  4. [4] Université de Toulon;Marseille, France

  Mostrar afiliaciones +
• Localización: Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 55, 2015, págs. 116-124
• Idioma: inglés
• DOI: 10.1016/j.automatica.2015.02.014
• Texto completo no disponible (Saber más ...)
• Resumen

  • This paper deals with the enforcement of nonlinear constraints on Petri nets. A supervisory structure is proposed for a class of nonlinear constraints. In order to enforce a nonlinear constraint on a Petri net, we propose a transition transformation technique to replace a transition in an original net by a set of transitions. Then, a control place is designed to control the firing of these transitions, aiming to enforce the nonlinear constraint. The proposed supervisor is maximally permissive in the sense that it can make all markings in the admissible-zone reachable and all markings in the forbidden-zone unreachable. The proposed method is applicable to bounded Petri nets. Finally, a number of examples are provided to demonstrate the proposed approach.