107
6. Referências Bibliográficas
ALLA, H.; DAVID, R., “Continuous and hybrid Petri nets”, Journal of Circuits, Systems and Computers, Vol.8, n.1, pp. 159-188; 1998.
ANSCHUETZ, H, “HPSIM”, URL: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/hpsim.html; Alemanha, 2002
BOLZANI, C.A.M., “Residências Inteligentes”, 1a. ed., Ed. Livraria da Física, São Paulo, 2004.
CARDOSO, J; VALETTE, R. “Redes de Petri” Florianópolis: Ed. da UFSC, 1997 CARRIER Air Conditioning Company, “Manual de Aire Acondicionado”, Marcombo
Boixareu Editores, Barcelona, México, 1986
108 CREDER, H., “Instalações de Ar Condicionado”, Editora LTC, 6a ed., Rio de Janeiro,
2004.
DRATH, R., “Visual Object Net++”, URL: http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ; Ilmenau University of Technology, Alemanha, 2003
FREY, G “Hierarchical Design of Logic Controllers using Signal Interpreted Petri Nets”, Proceedings of the IFAC AHDS 2003, pg. 401 - 406
FREY, G.; LITZ, L. “Formal Methods in PLC Programming”, Nashville, 2000
FREY, G “PLC Programming for Hybrid Systems via Signal Interpreted Petri Nets”, Proceedings of the ADPM 2000, pg. 189 – 194
GUÉGUEN, H.; LEFEFBVRE, M. A., “A comparison of mixed specification formalisms”, 4th Intern.Conf. on Automation of Mixed Processes (ADPM), Dortmund; 2000
HONEYWELL, “Engineering Manual of Automatic Control – HVAC”, Honeywell, Minnesota, 1995
LEE, G. B.; ZANDONG, H.; LEE, J. S., “Automatic generation of ladder diagram with control Petri Net”, Journal of Intelligent Manufacturing, 15, pg. 245 – 252, 2004
LIMA II, E. J., “Uma Metodologia para a Implementação através de CLP’s de Controle Supervisório de Células de Manufatura utilizando Redes de Petri” Dissertação de Mestrado, Salvador, 2002
KLEIN, S. ; FREY, G & MINAS, M., “PLC Programming with Signal Interpreted Petri Nets”, Proceedings of the International Conference on Application and Theory of Petri Nets ICATPN, Eindhoven, Holanda, 2003.
109 MIYAGI, P.E., “Petri Net Approach for Modelling System Integration in Intelligent Buildings”, Journal of The Brazilian Society of Mechanical Sciences, Rio de Janeiro, vol.23, n.4, pp.341-350, 2002
SAUER Jr, H. J ; HOWELL, R. H.; COAD, W. J., “Principles of Heating, Ventilating and Air Conditioning“, ASHRAE – American Society of Heating, Refrigerating and Air Conditioning Engineers Inc., Atlanta, 2001
SIERRA, E.; HOSSIAN, A.; MAEZ, R.; MARINO, P., “Sistema experto para control inteligente de las variables ambientales de un edificio energéticamente eficiente”, XI Reunión de Trabajo en Procesamiento de la Información y Control, Buenos Aires, 2005.
TACKEN, J.; RUST, C.; KLEINJOHANN, B. “A Method for Prepartitioning of Petri Net Models for Parallel Embedded Real-Time Systems”, C-Lab, Paderborn, Germany, 2002
TRANE Company, “Air Conditioning Manual”, Milwaukee, USA, 1980.
UZAM, M.; JONES, A. H.; AILUONI, N., “Conversion of Petri Net Controllers for Manufaturing Systems into Ladder Logic Diagrams”, Salford - UK, 1996
VENKATESH, K.; ZHOU, M.; CAUDILL, R. J., “Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design Through a Discrete Manufacturing System”, IEEE Transactions on Industrial Electronics, vol. 41, no. 6, pg. 611 – 619, 1994
VILLANI, E. “Abordagem Híbrida para Modelagem de Sistemas de Ar Condicionado em Edifícios Inteligentes” Dissertação de Mestrado – EPUSP, São Paulo, 2000.
110 VILLANI, E.; MIYAGI, P. E., “A Petri Net-Based Object-Oriented Approach for the Modelling of Hybrid Productive Systems. Nonlinear Analysis: Theory, Methods & Applications”, Amsterdam, vol.62, n.8, pp.1394-1418, 2005.