A continua¸c˜ao natural deste trabalho ´e a implementa¸c˜ao de uma interface mais amig´avel para o usu´ario, a fim de que a composi¸c˜ao dos autˆomatos seja realizada de uma forma mais dinˆamica; Algo pr´oximo a ferramenta desenvolvida em (HAMADA, 2007),
onde o autor desenvolveu um simulador de m´aquinas de estados finitos.O objetivo seria aproximar o programa desenvolvido a programas comerciais, por exemplo Visual Object Net++(DRATH, 2002).
Para a montagem d´a ´arvore de estados, prop˜oe-se buscar novas t´ecnicas de otimiza- ¸c˜ao (Programa¸c˜ao linear, Programa¸c˜ao por Restri¸c˜oes, Algoritmos H´ıbridos, M´etodos Heur´ısticos, Algoritmos Aproximados) que apresentem um caminho ´otimo a ser seguido dentro do universo de caminhos poss´ıveis existentes. A avalia¸c˜ao do tempo de execu¸c˜ao de cada a¸c˜ao pode ser inclu´ıda, para tornar a an´alise de otimalidade mais completa.
Devido `a restri¸c˜ao do n´umero de argumentos aceitos pela Visual Prolog em usa vers˜ao acadˆemica, se prop˜oe tamb´em o desenvolvimento de novos mecanismos de infe- rˆencia que n˜ao possuam restri¸c˜oes similares, e que n˜ao tenham v´ınculos comerciais.
REFERˆENCIAS
BACK, R. T. L. Z. D. B. L. Identifica¸c˜ao de gargalos em uma ind´ustria de
mangueiras com aux´ılio da teoria das restri¸c˜oes. III CONGRESSO BRASILEIRO DE ENGENHARIA DE PRODU ¸C ˜AO, p. 9, 2013.
BOGDAN FRANK L. LEWIS, Z. K. S.; JR., J. M. Manufacturing Systems Control Design : a matrix-based approach. - (Advances in industrial control). [S.l.]: Springer Science, 2006.
BRATKO, I. Prolog programming for artificial intelligence. [S.l.]: Pearson education, 2001.
CARDOSO, R. V. J. Redes de Petri. [S.l.]: UFSC, 1997.
CARVALHO, M.; FILHO, O. S.; FERNANDES, C. O planejamento da manufatura– pr´aticas industriais e m´etodos de otimiza¸c˜ao. Gest˜ao & Produ¸c˜ao, SciELO Brasil, v. 5, n. 1, p. 34–59, 1998.
CASSANDRAS, S. L. C. G. Introduction to Discrete Event systems. [S.l.]: Springer Science, 2008.
CHORLEY, A.; BENCH-CAPON, T. Agatha: Automation of the construction of theories in case law domains. In: Proceedings of Jurix. [S.l.: s.n.], 2004. p. 89–98. CHOSET, H. M. Principles of robot motion: theory, algorithms, and implementation. [S.l.]: MIT press, 2005.
CLOCKSIN, W. F.; MELLISH, C. S.; CLOCKSIN, W. Programming in PROLOG. [S.l.]: Springer, 1987.
COLMERAUER, A.; ROUSSEL, P. The birth of prolog. In: ACM. History of programming languages—II. [S.l.], 1996. p. 331–367.
COMMONER, F. et al. Marked directed graphs. Journal of Computer and System Sciences, Elsevier, v. 5, n. 5, p. 511–523, 1971.
DESCARTES, R.; WEISSMAN, D.; BLUHM, W. T. Discourse on the Method: And, Meditations on First Philosophy. [S.l.]: Yale University Press, 1996.
DIDACTIC, F. The current range of Festo Didactic products. [S.l.]: Festo Didactic GmbH & Co. KG., 2013.
DRATH, R. Visual Object Net, Version 2.7a. 2002. Dispon´ıvel em: <www.r- drath.de/Home/VisualObjectNet.html>.
GOEKING, W. Da m´aquina a vapor aos softwares de automa¸c˜ao. Maio 2010. Dispon´ıvel em: <www.osetoreletrico.com.br/web/component/content/article/57- artigos-e-materias/343-xxxx.html>.
J. M. et al. (Ed.). ICALT. [S.l.]: IEEE Computer Society, 2007. p. 877–879. ISBN 978-0-7695-2916-5.
ITO YUJI KOBAYASHI, K. S. M. Automata, Formal Languages and Algebraic Systems. [S.l.]: World Scientific Publishing Company (August 31, 2010), 2010. JIANG, S.; KUMAR, R. Supervisory control of discrete event systems with ctl* temporal logic specifications. SIAM Journal on Control and Optimization, SIAM, v. 44, n. 6, p. 2079–2103, 2006.
JOHN, K.-H.; TIEGELKAMP, M. IEC 61131-3 : programming industrial automation systems : concepts and programming languages, requirements for programming systems, aids to decision-making tools”. Berlin, Heidelberg: Springer-Verlag, 2001. Dispon´ıvel em: <http://opac.inria.fr/record=b1130044>.
KOSMATOPOULOS, E.; CHRISTODOULOU, M. A state space model for modeling and control of manufacturing processes. In: IEEE. Emerging Technologies and Factory Automation, 1995. ETFA’95, Proceedings., 1995 INRIA/IEEE Symposium on. [S.l.], 1995. v. 2, p. 563–571.
KUMAR, R.; GARG, V. K. Modeling and control of logical discrete event systems. Kluwer, 1995.
LABB´E, S.; LAPITRE, A. Carver: a slicing tool for communicating automata specifications. In: IEEE. Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. [S.l.], 2006. p. 99–102.
LAI DAVIDE NESSI, M. P. C. A. G. C. S. S. Comparison between two diagnostic tools based on automata and petri nets. Proceedings of the 9th International Workshop on Discrete Event Systems, 2008.
LAI, S. et al. A comparison between two diagnostic tools based on automata and petri nets. In: IEEE. Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on. [S.l.], 2008. p. 144–149.
LAVALLE, S. M. Planning algorithms. [S.l.]: Cambridge university press, 2006. LU, B.; LIU, Z. Prolog with best first search. In: IEEE. Control and Decision Conference (CCDC), 2013 25th Chinese. [S.l.], 2013. p. 917–922.
MARTINEZ, J.; MURO, P.; SILVA, M. Modeling, validation and software
implementation of production systems using high level petri nets. In: IEEE. Robotics and Automation. Proceedings. 1987 IEEE International Conference on. [S.l.], 1987. v. 4, p. 1180–1185.
MATA, L. C. da. Curso de Especializa¸c˜ao T´ecnica em Manuten¸c˜ao e Programa¸c˜ao PLC Controllogix. [S.l.: s.n.], 2010.
MORAIS, P. d. L. C. Cicero Couto de. Engenharia de Automacao Industrial. [S.l.]: LTC, 2013.
PETERSON, J. L. Petri Net Theory and the Modeling of Systems. [S.l.]: Prentice Hall, 1981.
PETRI, C. A. Kommunikation mit Automaten. Disserta¸c˜ao (Mestrado) — Universidade de Bonn, 1962.
POLA, D. F. S. R. Treinamento MPS UFJF. [S.l.]: Festo Didactic & GmbH Co. KG., 2013.
QUEIROZ, M. H. D.; CURY, J. E. Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: IEEE. Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on. [S.l.], 2002. p. 377–382.
RAMADGE, P. J.; WONHAM, W. M. Supervisory control of a class of discrete event processes. SIAM journal on control and optimization, SIAM, v. 25, n. 1, p. 206–230, 1987.
RAMADGE, P. J.; WONHAM, W. M. The control of discrete event systems. Proceedings of the IEEE, IEEE, v. 77, n. 1, p. 81–98, 1989.
SILVA, F. C. L. da. Uma ferramenta para o ensino de inteligˆencia artificial usando jogos de computador. Disserta¸c˜ao (Mestrado) — Universidade de S˜ao Paulo, Novembro 2007.
SILVA, W.; MACIEL, P. et al. Modelling and analysis in production system: an approach based on petri net. In: IEEE. Systems, Man and Cybernetics, 2004 IEEE International Conference on. [S.l.], 2004. v. 5, p. 4354–4359.
THOMAZINI, D.; ALBUQUERQUE, P. U. B. d. Sensores industriais–fundamentos e aplica¸c˜oes. S˜ao Paulo, v. 3, 2005.
TSINARAKIS, N. C. T. G. J.; VALAVANIS, K. P. Petri net modeling of routing and operation flexibility in production systems. IEEE International Symposium, p. 352 – 357, 2005.
WONHAM, W. M.; RAMADGE, P. J. Modular supervisory control of discrete-event systems. Mathematics of control, Signals and Systems, Springer, v. 1, n. 1, p. 13–30, 1988.
ZYUBIN, V. E. Hyper-automaton: a model of control algorithms. In: IEEE. Control and Communications, 2007. SIBCON’07. Siberian Conference on. [S.l.], 2007. p. 51–57.