Maximally Permissive Petri Net Supervisors with a Novel Structure - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Maximally Permissive Petri Net Supervisors with a Novel Structure

Zhiwu Li

Résumé

This paper presents a novel arc of Petri nets, namely data inhibitor arcs, and its application to deadlock control of discrete event systems. A data inhibitor arc is from a place to a transition labeled with a set of data. The transition is disabled by the place if the number of tokens in the place is in the set of data labeled on the arc. By using the data inhibitor arcs, a maximally permissive Petri net supervisor is designed to prevent a discrete event system from reaching illegal markings. Furthermore, a technique is proposed to ?nd only one control place to make the system live with all legal markings. Finally, we provide examples to demonstrate the proposed approach.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01126393 , version 1

Citer

Yufeng Chen, Zhiwu Li, Kamel Barkaoui. Maximally Permissive Petri Net Supervisors with a Novel Structure. WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, Jun 2014, X, France. pp.1-8. ⟨hal-01126393⟩
42 Consultations
0 Téléchargements

Partager

More