Petri net-based automated control synthesis for a class of DEDS

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 2, Issue January, 2003, Pages 297-304

  Čapkovič, František ^a   Čapkovič, Peter ^b  

^a INSTITUTE OF INFORMATICS   (Slovakia)

^b VÚB a s   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FACTORY AUTOMATION; FORESTRY; PETRI NETS; TREES (MATHEMATICS);

ADJACENCY MATRICES; AUTOMATED CONTROL; DISCRETE EVENT DYNAMIC SYSTEMS; INITIAL STATE; REACHABILITY TREE; TERMINAL STATE;

DIRECTED GRAPHS;

ALGORITHMS; CLASSIFICATION; NEURAL NETWORKS;

EID: 8844237830     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2003.1248714     Document Type: Conference Paper

References (13)

1. J. L. Peterson, Petri Net Theory and Modeling the System, New York: Prentice Hall, 1981.
2. L. Holloway, B. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, vol, 7, pp. 151-180, July 1997.
3. F. Čapkovič, "Intelligent control of discrete event dynamic systems," in Proc. 2000 IEEE International Symposium on Intelligent Control, N. Koussoujas, P. Groumpos, and M. Polycarpou, Eds., Patras, Greece, July 2000, pp. 109-114.
4. -, "A solution of DEDS control synthesis problems," in Proc. IFAC International Conference on Control System Design (CSD'2000), Š. Kozák and M. Huba, Eds., Bratislava, Slovakia, June 2000, pp. 343-348.
5. -, "Automated solving of DEDS control problems," in Multiple Approaches to Intelligent Systems, Lecture Notes in Artificial Intelligence, 1999, vol. 1611 LNCS, pp. 290-294.
6. -, "An approach to the control synthesis of siate machines," in Proc. 16th European Meeting on Cybernetics and Systems Research, R Trappi, Ed., Vienna, Austria, Apr. 2002, pp. 81-86.
7. -, "A solution of DEDS controi synthesis problems," Systems Analysis Modelling Simulation (SAMS), vol. 42, pp. 405-414, Mar. 2002.
8. -, "Control synthesis of a class of DEDS," KYBERNETES, vol. 31, pp. 1274-1281, Dec. 2002.
9. R. Diestel, Graph Theory. New York: Springer Verlag, 1997.
10. F. Čapkovič, "Modelling and control of discrete event dynamic systems," BRICS, Univ. of Aarhus, Denmark, Aarhus, Denmark, BRICS Report Series RS-00-26, 2000. Available: also in Web address http.//www.brics.dk/RS/00/Ref/BRICS-RS-00-Ref/BRICS-RS-00-Ref.html
11. Czech Research Group, "DCE-FELK-CVUT,"' Czech Technical University, Prague, Czech Republic, Matlab Program, 2001. [Online], Available: http://dce.felk.cvut.cz/cak/Research/PN/index-PN.htm
12. M. V. Iordache and P. J. Antsaklis, "Software tools for the supervisory control of Petri nets based on place invariants," Univ. of Notre Dame, Notre Dame, USA, technical report ISIS-2002-003, 2002.
13. E, Pastor, J. Cortadella, and O. Roig, "Symbolic analysis of bounded Petri nets," IEEE Trans, on Computers, vol. 50. no 5. pp. 432-448, May 2001.