Petri net controller synthesis for discrete event systems using weighted inhibitor arc

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 4, Issue , 2001, Pages 3582-3587

  Wu, W ^a   Su, H ^a   Hu, J ^a   Chu, J ^a   Zhai, H ^a   Wu, H ^a  

^a STATE KEY LABORATORY OF INDUSTRIAL CONTROL TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; CONTROL EQUIPMENT; CONTROL SYSTEM SYNTHESIS; PETRI NETS;

DISCRETE EVENT SYSTEMS (DES);

CONTROL THEORY;

EID: 0034861645     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2001.933173     Document Type: Conference Paper

References (27)

1. Supervisory control of a class of discrete-event processes
2. Modular feedback logic for discrete event systems
3. On the supremal controllable sublanguages of a given language
4. Petri net techniques for supervisory control of discrete event systems
5. Controlled Petri nets and maximally permissive feedback logic
6. Synthesis of feedback logic for a class of controlled Petri nets
7. Synthesis of feedback logic for discrete manufacturing systems
8. On forbidden state problems for a class of controlled Petri nets
9. A generalization of state avoidance policies for controlled Petri nets
10. Generalized mutual exclusion constraints on nets with uncontrollable transitions
11. Feedback control of Petri nets based on place invariants
12. Petri net supervisors for DES with uncontrollable and unobservable transitions
13. Control synthesis of Petri nets based on S-decreases
14. Net structure and control logic synthesis of controlled Petri nets
15. Petri nets for modeling of dynamic systems - A survey
16. Petri nets: Properties, analysis and applications
17. Extensions to colored Petri nets
18. On Petri net models of infinite state supervisors
19. A Formal technique for the synthesis of Petri net supervisors for discrete event systems
20. A ruled-based methodology for supervisory control of discrete event systems modeled as automation Petri nets
21. Inhibitor arc based state avoidance controller for non-convex forbidden state problems in Petri nets
22. Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
23. On forbidden state problems in a general class of non-ordinary controlled Petri nets
24. The real-time supervisory control of an experimental manufacturing cell