|
 
|
[CLBb14] Maximally Permissive Petri Net Supervisors with a Novel Structure
Conférence Internationale avec comité de lecture : WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, June 2014, pp.1-8,Mots clés: Petri net, discrete event system, supervisory control, deadlock, data inhibitor arc. Petri net, discrete event system, supervisory control, deadlock, data inhibitor arc.
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.
Commentaires:
http://wodes2014.lurpa.ens-cachan.fr/
Equipe:
sys
BibTeX
| @inproceedings { | |||
| CLBb14, | |||
| title | = | "{Maximally Permissive Petri Net Supervisors with a Novel Structure}", | |
| author | = | " Y. Chen and Z. Li and K. Barkaoui ", | |
| booktitle | = | "{WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems}", | |
| year | = | 2014, | |
| month | = | "June", | |
| pages | = | "1-8", | |
| note | = | "{http://wodes2014.lurpa.ens-cachan.fr/}", | |
| } | |||
