DEL 4 RESULTATER
5.2 Foreldrenes opplevelse av venners ivaretakelse av deres barn i sorg
Dentre as várias possibilidades de trabalhos futuros que podem ser derivados, destacam-se dois que entendemos como uma evolução direta das considerações assumidas:
No desenvolvimento do trabalho foi implementado um “serviço de gerenciamento de pedidos” baseado na seqüência de chegada dos pedidos. Isto sugere um estudo sobre a implementação de um componente de scheduling para os pedidos.
Adicionalmente, neste trabalho foi implementado um “serviço de integração e coordenação” assumindo que se tem a priori as descrições de todos os serviços dos SPs envolvidos na execução dos processos produtivos. Isto sugere um estudo sobre um serviço de integração e coordenação dinâmico, ou seja, onde os serviços dos SPs envolvidos são definidos dinamicamente de acordo com o pedido a ser atendido.
REFERÊNCIAS
ADLEMO, A.; ANDREASSON, S., Balanced automation in flexible manufacturing, , 1996. Disponível em systems</http://pierre.ici.ro/ici/revista/sic1996_2/art8.html/>, Dia de acesso 15/10/09.
ARAKAKI, J.; MIYAGI,P.E., Degeneration methods for intelligent building control system design. In:Proc. of7th IFIP International Conference on Information Technology for
Balanced Automation Systems in Manufacturing and Services, Ontario, Canada , 2006.
ARAKAKI, J.; MIYAGI, P.E.; VILLANI, E., Controle de sistemas produtivos utilizando o método de degeneração. In: Anais VII SBAI Simpósio Brasileiro de Automação Inteligente, São Luis, MA, 2005.
ARATA, W.M.; MIYAGI, P.E.,Formal comprehensiveness, uniformity, semantic, and intra/intermodel consistency in the representation of discrete event dynamic system models ,In: Proc. of XVIII COBEM International Congress of Mechanical Engineering,Ouro Preto, MG, 2005.
ARATA, W.M.; MIYAGI, P.E.,Computational representation, heterogeneity and integration of productive system models, In: Proc. of 7th IFIP International Conference on
Information Technology for Balanced Automation Systems in Manufacturing and
Services, Ontario, Canada , 2006.
BASTIDAS, G., Aplicação de redes de Petri interpretadas na modelagem de sistemas de elevadores em edifícios inteligentes, São Paulo, 1999. 164p. Dissertação (mestrado) - Escola Politécnica, Universidade de São Paulo, São Paulo, 1999.
BACKX, T.; BOSGRA, O.; MARQUARDT W., Integration of model predictive control and optimization of processes, In: Proc. of Advanced Control of Chemical Processes (ADCHEM 2000), 2000.
BERGSTRA, J.A.; KLOP J.W., Process Algebra for Synchronous, Communication, In:
Journal of Information And Control, Vol. 60, pp. 109-137, 1984.
BI, Z. M., LANG, S. Y. T., SHEN, W. AND WANG, L., Reconfigurable manufacturing systems: the state of the Art, In: International Journal of Production Research,Vol. 46, No. 4, pp967- 992, 2008.
BINDIETRICH, A. J.; KIRN, S.; SUGUMARAN V.,A Service-Oriented Architecture for Mass Customization—A Shoe Industry Case Study, In: IEEE Trans. on Engineering
Management, Vol. 54, No. 1, pp190-204, 2007.
BRAUER, W. ; REISIG W., Carl Adam Petri and Petri nets, Informatik-Spektrum, Springer Verlag, Vol. 29, No. 5, pp. 369-374, 2006.
CARROLL, J.; LONG, D., Theory of Finite Automata with an Introduction to Formal
Languages, Prentice Hall. Englewood Cliffs, 1989.
CARDOSO, J.; VALETTE, R., Redes de Petri, Florianópolis: Editora da UFSC, 220p, 1997. CALVEZ, J, Embedded real-time systems, J. Wiley: New York, 1993.
CIANCETTA, F.; D’APICE, B.; GALLO, D., Plug-n-Play Smart Sensor Based on Web Service, In: IEEE Journal of Sensor, Vol. 7, No. 5, 2007
CERAMI, E., Web Service Essencials, O´really, ISBN: 0-596-00224-6, 304 p, 2002.
DELAMER, I.M.; LASTRA, J.L.M., Self-orchestration and choreography: towards architecture-agnostic manufacturing systems, In: 20th International Conference on
DOMNIC, S.; STAMATIS K., Web-Service Enabled Wireless Sensors in SOA Environments, In: Proc. of IEEE International Conference on Emerging Technologies and Factory
Automation. ETFA 2008, pp. 952-958, 2008.
FERRARA, A., Web Services: A Process Algebra Approach, In: Proc. of the 2nd
international Conference on Service Oriented Computing, ICSOC '04 ,NY, USA, 2004.
FOSTER, H., "Mapping BPEL4WS to FSP", Technical Paper, Department of Computing,
Imperial College London, London, UK, 2003.
GARCIA MELO, J.I.; MORALES, R.A.G.; MIYAGI, P.E., Supervisory System for Hybrid Productive Systems based on Bayesian Networks and OO-DPT Nets., In: Proc. of 13th
IEEE International Conference on Emerging Technologies and Factory Automation,
ETFA 2008, Hamburg, Germany, pp. 1108-1111, 2008.
GARCIA MELO, J. I. ; JUNQUEIRA, F. ; MORALES, R. A.G. ; Miyagi, P. E. ,A Procedure for Modeling and Analysis of Service-Oriented and Distributed Productive Systems, In:
Proc. of 4th IEEE Conference on Automation Science and Engineering, CASE 2008,
Washington, DC.USA, pp. 941-946, 2008.
GARCIA MELO, J.I.; JUNQUEIRA, F., MIYAGI, P.E., Towards Modular and Coordinated Manufacturing Systems oriented to Services, In: Dyna, Vol 77, No. 163, pp. 201-, 2010. GORADIA, A.; NING, X.; ELHAJJ, I.H., Internet based robots: applications, impacts,
challenges and future directions, In: Proc. of Workshop on Advanced Robotics and Its
Social Impacts, Vol. 12,No. 15, pp 73-78, 2005.
GOMES, L.; BARROS, J., Structuring and Composability Issues in Petri Nets Modeling, In:
IEEE Trans. on Industrial Informatics, Vol. 1, No.2, pp. 112-123, 2005.
GOTTSCHALK, K., Web Services Architecture Overview, Disponívelem: http://www- 106.ibm.com/developerworks/library/w-ovr/ ,Dia de acesso 7/03/2007.
GREFEN, P.; MEHANDJIEV, N.;KOUVAS, G.; WEICHHART, G.;ESHUIS, R., Dynamic business network process management in instant virtual enterprises, In: Journal of
Computers in Industry, Vol.60, pp 86–103, 2009.
GROBA, C.; BRAUN, I.; SPRINGER, T.; WOLLSCHLAEGER, M., A service-oriented approach for increasing flexibility in manufacturing, In: Proc. of IEEE International
Workshop on Factory Communication Systems (WFCS 2008),Vol. 1, pp 415-422
Dresden,Germany.2008.
HASEGAWA, K.; MIYAGI, P.E.; TAKAHASHI, K., Mark FlowGraph (MFG) para modelamento e controle de sistemas de eventos discretos,Monografias em Automação e Inteligência Artificial.São Paulo. Vol.1, No.1, pp.1-10, 1989.
HASEGAWA, K., Modeling, control and deadlock avoidance of FMS.In: XI Congresso Brasileiro de Automática, ConferênciasPlenárias, São Paulo, pp. 37-51, 1996.
HAGEL, J. ; DURCHSLAG, S.; BROWN, J.,S., Orchestrating Loosely Coupled Business. Processes: The Secret to Successful collaborati, 2002. Disponível em: <www.johnhagel.com/paper_orchestratingcollaboration.pdf/>. Acessoem: 8/10/2008.
HOLMQVIST, M.; PESSI, K., Process integration and web services, a case of evolutional development in a supply chain, In: Scandinavian Journal of Information Systems, Vol.16, No. 1, pp. 117–144, 2004.
HOPCROFT, J.E.; ULLMAN, J.D., In: Introduction to Automata Theory, Languages and
Computation, Addison -Wesley,521p., 2001.
JAMMES, F.; SMIT, H., Service-Oriented Paradigms in Industrial Automation, In: IEEE
Trans. on Industrial Informatics, Vol. 1, No. 1, 2005.
JENSEN, K.; Coloured Petri nets: basic concepts, analysis methods and practical use .Springer Verlag, Berlin, 174p, 1992.
JENSEN, K.; KRISTENSEN, L; WELLS, L.; Coloured Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems, In: International Journal on Software
Tools for Technology, Transfer (STTT), Springer Berlin / Heidelberg, Vol. 9, No. 3-4, pp.
213-254, 2007.
JUNQUEIRA, F.; VILLANI, E.; MIYAGI, P.E., A platform for distributed modelling and simulation of productive systems based on Petri nets and object-oriented paradigm, In:
Proc. of 10th IEEE International Conference on Emerging Technologies and Factory
Automation (ETFA´05),Catania, Itália, 2005.
JUNQUEIRA, F.; MIYAGI, P.E., A new method for the hierarchical modeling of productive systems.In:Proc. of 7th IFIP International Conference on Information Technology for
Balanced Automation Systems in Manufacturing and Services, Ontario, Canada, 2006.
KANESHIRO, P.J; GARCIA MELO, J.I.; MIYAGI, P.E.; CUGNASCA, C. E., Modeling of collision resolution algorithm in Lonworks networks, In:Proc. of ASME International
Mechanical Engineering Congress and Exposition, Seattle, WA, USA, 2007.
KIEPUSZEWSKI, B.; TER, A.H.M.; VAN DER AALST, W.M.P., Fundamentals of control flow, In:Proc. of Workflows, Acta Informática, Vol. 39, No. 3, pp. 143-209, 2003.
KIRKHAM, T.; SAVIO, D.; SMIT, H.; HARRISON, R.; MONFARED, R.P. PHAITHOONBUATHONG, P.,SOA middleware and automation: Services, applications and architectures, In: Proc of 6th IEEE International Conference on Industrial
Informatics (INDIN 2008), pp1419-1424, Daejeon, Korea, 2008.
KIM, W.; CHUN, M.; QURESHI, K.; CHOI, Y.., WSCPC: An architecture using semantic web services for collaborative product commerce, In: Journal of Computers in Industry, Vol 57, pp 787–796, 2006.
KOMODA, N. Service Oriented Architecture (SOA),in Industrial Systems In: Proc. IEEE
International Conference of Industrial Informatics, pp23-33, Singapore 2006.
KOSHKINA, M.; VAN BREUGEL, F., Verification of Business Processes for Web
Services, Technical Report CS-2003-11, 2003.
KOWALSKI, R.; SERGOT , M.J., A logic-based calculus of events. New generation,
Computing, Vol. 4, No. 1, pp. 67–95, 1986.
KUMAR, R.S.; YANG, Z.; ZHANG, J.B.; ZHUANG L., Virtualization for Manufacturing Web Services: a WS-RF approach, In: International Journal of Information Technology, Vol. 11, No. 3, pp 40-51, 2005.
LEE, J.; ZHOU, M.; HSU, P., An application of Petri nets to supervisory control for human– computer interactive systems, In: IEEE Trans. on Industrial Electronics, Vol. 52, No. 5, 2005.
LING, Z.; CHEN, W.; YU,J, Research and implementation of OPC server based on data access specification, In: Proc. of Fifth World Congress on Intelligent Control and
Automation, Vol.2, pp 1475 - 1478, 2004.
LIU, S.; MENG, X.; MA, R., WU, L.; ZHANG, S., Design and implementation of a service- oriented manufacturing grid system, In: Proc. of Congrès Advanced Web and Network
Technologies, and Applications, APWeb 2006, Vol. 3842, No.1, pp. 643-647, 2006.
LIU, W.; MIYAGI, P.E; SCHREEK, G., MFG/PFS methodology in manufacturing industries,
Studies in Informatics and Control, Vol.3, No.2-3. Pp.195-200, 1994.
LI-FENG, W.; ZHOU B., Service-oriented software architecture for flexible manufacturing control system, In: Proc. of IEEE International Conference on Automation Science and
Engineering, Shanghai, China, 2006.
LOHMANN, N.; MASSUTHE, P.; STAHL, C.; WEINBERG, D., Analyzing Interacting BPEL Processes, In: Proc. of 4th International Conference Business Process Managem, BPM 2006, Vienna, Austria, 2006.
LOHMANN, N., A feature-complete Petri net semantics for WS-BPEL 2.0, In: Proc of the
Workshop on Formal Approaches to Business Processes and Web Services,
LUCCHIA, R.; MAZZARA, M., A pi-calculus based semantics for WS-BPEL, In: Journal of
Logic and Algebraic Programming, Vol. 70, No. 1, pp. 96-118, 2007.
LUO, R.C.; JYH-HWA, T.; CHIH-CHIN, L., The development of Web-based e-business system for rapid prototyping manufacturing, In: Proc. of Conference of the IEEE, Vol. 2, pp. 1290-1295, 2003.
MACKENZIE C. M., et al., Reference model for service oriented architecture 1.0, Oasis, Committee Specification, 2006.
MAGEE, J.; KRAMER, J., Concurrency State Models & Java Programs, Wiley, ISBN: 978- 0-470-09355-9, 434p., 2006.
MADHUSUDAN, T., An experience report on developing an automated web services platform, Journal of Information Systems and E-Business Management, Springer Berlin / Heidelberg, Vol. 3, No. 3, pp. 243-263, 2005.
MASSUTHE, P.; REISIG,W.; SCHMIDT, K., Anoperating guideline approach to the SOA, Techn. Report 191, Humboldt-Universit at zu Berlin, 2005.
MASSUTHE, P.; WEINBERG, D., Fiona: A Tool to Analyze Interacting Open Nets, In:
Proc. of German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Vol.
380, No. 1, pp. 99-104, 2008.
MARTENS, A.; MOSER, S.; GERHARDT, A.; FUNK, K., Analyzing Compatibility of BPEL Processes, In: Proc. of International Conference on Telecommunications, AICT-ICIW '06, pp. 147-156, 2006.
MEHRA, M. G.; ULSOY A. G.;KOREN, Y., Reconfigurable manufacturing systems: Key to future manufacturing, In: Journal of Intelligent Manufacturing, Vol 11, pp403-419, 2000.
MENDES, J.; LEITÃO,P.; RESTIVO, F.;COLOMBO, A., BEPPERLING A. , Engineering of service-oriented automation systems: a survey, In: Proc. of Conference on Innovative
Production Machines and Virtual International Systems (3rd I*PROMS), pp.33-38,
2007.
MENDES, J. M.; LEITÃO, P.; COLOMBO, W.A., RESTIVO, F., Service-Oriented Control Architecture for Reconfigurable Production Systems, In: Proc. of IEEE International
Conference on Industrial Informatics (INDIN2008),pp.744-749, Daejeon, Korea, 2008.
MENG, L.; YEXIN, X., SOMG: a service oriented manufacturing grid system, In: Proc. of
Fifth International Conference on Computer and Information Technology (CIT'05),
pp1080- 1084, Shanghai, China 2005.
MIYAGI, P.E., Controle Programável: Fundamentos do Controle de Sistemas a Eventos Discretos.São Paulo, Editora Edgard Blucher, 194p., 1996.
MILNER, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science, No. 92, Springer Verlag, New York/Berlin, 1980.
MILNER, R., Communication and Concurrency, International Series in Computer Science. Prentice Hall, ISBN:0131149849, 240p., 1989.
MILNER, R., Operational and Algebraic Semantics of Concurrent Processes, In: Handbook
of Theoretical Computer Sciece, Vol.B: Formal Models and Semantics, Elsevier and The
MIT Press, pp. 1203-1242, 1994.
MORALES, R. G.; MIYAGI, P. E; GARCIA MELO, J. I., Diagnosis and treatment of faults in production systems based on Bayesian networks and Petri net, In: Proc. of IEEE
Conference on Automation Science and Engineering, CASE 2007, Scotsdale, USA,
2007.
MOREIRA, L.; SPIESS, P.; GUINARD, D.; OHLER, M.; KARNOUSKOS S.; DOMNIC, S. D., SOCRADES: A Web Service based Shop Floor Integration Infrastructure, In: Proc. of
MURATA, T.,PETRI NETS - properties, analysis and applications., In: Proc. of IEEE, Vol.77, No.4, 1989.
NASSAR,M. V.; GARCIA MELO, J.I.; MIYAGI, P.E., Modeling and analysis of the entry flow system in a continuos pickling line process using Petri net, In: Proc. of 19th
International Congress of Mechanical Engineering, COBEM 2007, Brasilia, Brazil,
2007.
ORTEGA, N.E.; VILLALUENGA, B.L. Teleoperación: técnicas, aplicaciones, entorno sensorial y teleoperación inteligente. Reporte de Trabajo de Investigación IOC-DT-P- 2004-05, Universitat Politécnica de Catalunya, 2004.
OUYANG, C.; VERBEEK, E.; VAN DER AALST, W.M.P.; BREUTEL, S.; DUMAS, M.;TER HOFSTEDE, A. H. M., formal semantics and analysis of control flow in WS- BPEL, Science of Computer Programming, Vol. 67, No. 2, pp. 162-198, 2007.
PHAITHOONBUATHONG, P. , HARRISON, R. , WEST, A. , MONFARED, R. AND KIRKHAM,T., Web services-based automation for the control and monitoring of production systems, In: International Journal of Computer Integrated Manufacturing, Vol.23, No. 2, pp126 – 145,2010.
PETERSON, J. L., Petri Nets, ACM Computing Surveys, Vol. 9, No. 3, pp 223-252, 1977. PUTTONEN, J.; LOBOV, A.; JUHA, P.; MARTINEZ, L., A application of BPEL for service
orchestration in an industrial environment, In: IEEE International Conference on
Emerging Technologies and Factory Automation, pp. 530-537, 2008.
REISIG, W. A Primer in Petri design. Berlin: Springer-Verlag, 1992.
RIASCOS, L.A.; MIYAGI P.E., Supervisor system for detection and treatment of failures in balanced automation systems using Petri nets. In: Proc. of IEEE International
Conference on Systems, Man and Cybernetics. Tucson, USA, 2001.
ROZENBERG, G.; ENGELFRIET, J., Elementary Net Systems, Computer Science, Vol. 1491, pp.12 - 121,1996.
ROUACHED M.;PERRIN, O., GODART, C., Towards Formal Verification of Web Service Composition, In: Proc. of 4th International Conference on Business Process
Management, (BPM 2006), pp. 257-273, 2006.
RUSSELL, N.; TER HOFSTED, A.; VAN DER AALST, W.M.P.; MULYAR N., Workflow
Control-Flow Patterns: A Revised View, BPM Center Report BPM-06-22, 2006.
SANTOS FILHO, D.J., Sistemas antropocêntricos de produção baseado em redes de Petri interpretadas. 1988, 287p. São Paulo, Tese (Doutorado) - Escola Politécnica, Universidade De São Paulo, São Paulo, 1998.
SALAÜN, G.; BORDEAUX, L.; SCHAERF, M., Describing and Reasoning on Web Services using Process Algebra, In: Proc. of the IEEE International Conference on Web Services, ICWS’04, pp. 43-51, 2004.
SCHMIDT, K., Controllability of Open Workflow Nets, 2005.Disponível em: <http://wwwteo.informatik.uni-rostock.de/ls_tpp/publications/Schmidt_2005_emisa.pdf/>. Acessoem: 9/6/2008.
SETCHI, R.M.; LAGOS, N., Reconfigurability and reconfigurable manufacturing systems: state-of-the-art review, In :Proc. of the IEEE International Conference on Industrial
Informatics,Vol. 1,pp 529 – 535, 2004.
SHAH,N., Process industry supply chains: Advances and challenges, In: Computers and
Chemical Engineering, Vol.29, pp 1225–1235, 2005.
SHEN, W.; NORRIE, D.H.; KREMER, R., Towards an Infrastructure for Internet Enabled Collaborative Agent Systems, In: Proc. of the Twelfth Workshop on Knowledge
Acquisition, Modeling and Management (KAW'99), Banff, Alberta, Canada, pp. 16 - 21,
SHIMIZU, Y.; ZHANG, Z.; BATRES, R., Frontiers in Computing Technologies for
Manufacturing Applications, Springer, 312p., 2007.
STAHL, C., A Petri Net Semantics for BPEL, Informatik-Berichte 188, Humboldt- Universitätzu, Berlin, July 2005.
SUA, Y.; GUOA, R.; CHANGB, S., Virtual fab: an enabling framework and dynamic manufacturing service provision mechanism, In: Journal of Information & Management, Vol. 42, pp329–348, 2005.
TANENBAUM, A; VAN STEEN M, Distributed Systems: Principles and Paradigms, 2/E, Prentice Hall, 704 p., 2007.
THOMAS, J.P.; THOMAS, M.; GHINEA, G., Modeling of Web Services Flow, in: Proc. of
IEEE International Conference on E-Commerce, CEC’03, pp. 391-398, 2003.
VAN DER AALST, W.M.P., Verification of Workflow Nets, In: Proc. of the 18th
International Conference on Application and Theory of Petri Nets, Vol. 1248, pp. 407-
426, 1997.
VAN DER AALST,W.M.P., The Application of Petri nets to Workflow Management.,
Journal of Circuits, Systems and Computers, Vol 8, No. 1, pp. 21-66, 1998.
VAN DER AALST, W.M.P., WOFLAN: A Petri-net-based Workflow Analyzer. Systems
Analysis - Modelling - Simulation, Vol. 35, No. 3, pp. 345-357,1999.
VAN DER AALST, W.M.P.; DUMAS, M.; TER HOFSTEDE, A.H.M., Web Service Composition Languages: Old Wine in New Bottles? In: Proc. of IEEE 29th Conference:
New Waves in System Architecture, EUROMICRO, pp. 298-305, Los Alamitos, CA, 2003.
VAN DER AALST W.M.P., Pi calculus versus Petri Nets: Let us eat humble pie rather than
further inflate the pi hype, 2003a. Disponível em:
<http://is.tm.tue.nl/research/patterns/download/pi-hype.pdf/>. Acesso em: 23/5/2008. VAN DER AALST, W.M.P.; DUMAS M.; TER HOFSTEDE, A.H.M.;RUSSELL, N.;
VERBEEK, H.M.W.; WOHED, P. Life After BPEL?, Springer Berlin / Heidelberg, ISBN 978-3-540-28701-8, 2005.
VAN DER AALST, W.M.P.;JØRGENSEN, J.B.; LASSEN, K.B., Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System, In: Proc. of OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Vol. 3760, pp. 22-39, 2005a.
VAN DER AALST, W.M.P.; LASSEN, K.B., Translating Workflow Nets to BPEL4WS,
BETA Working Paper Series, WP 145, Eindhoven University of Technology, Eindhoven,
2005b.
VERBEEK, H.M.W.; VAN DER AALST, W.M.P., Analyzing BPEL Processes using Petri Nets, In: Proc. of the Second International Workshop on Applications of Petri Nets to
Coordination, Workflow and Business Process Management, pp. 59-78, Florida, USA,
2005.
VILLA, T., Synthesis of Finite State Machines: Logic Optimization, Kluwer Academic Publishers, Boston,296p., 1997.
VILLANI, E.; PASCAL, P.; MIYAGI, P.E., VALETTE, R., A Petri net-based object-oriented approach for the modelling of hybrid productive systems, In: Trans. of Nonlinear
Analysis: Theory, Methods &Applications,Vol. 62, No. 8, pp. 1394-1418, 2005.
VILLANI, E.; CASTRO, R.A.; MARQUES, F. M.; MIYAGI, P.E., Remote monitoring and control of manufacturing system. In: Proc. of 7th IFIP International Conference on
Information Technology for Balanced Automation Systems in Manufacturing and
Services, Ontario, Canada, 2006.
VILLANI, E.; MIYAGI, P.E.; VALETTE, R., Modelling and Analysis of Hybrid
VIROLI, M., Towards a Formal Foundation to Orchestration Languages, In: Proc. of the
First International Workshop on Web Services and Formal Methods, WSFM 2004, Vol.
105, No. 1, pp. 51-71, 2004.
WEIDLICH, M.; DECKER, G.; WESKE, M., Efficient Analysis of BPEL 2.0 Processes Using pi-Calculus, In: Proc. of 2nd IEEE Asia-Pacific Service Computing Conference, Vol. 11. No. 14, pp. 266-274, 2007.
WOODS, D.; MATTERN, T., Enterprise SOA: designing it for business innovation, O’REILLY, 466P., 2006.
WOMBACHER, A.; FANKHAUSER, P.; NEUHOLD, E., Transforming BPEL into annotated deterministic finite state automata for service discovery, In: Proc. of IEEE
International Conference on Web Services, Vol. 6, No. 9, pp. 316-323, 2004.
WOHED, P.; VAN DER AALST, W.M.P.; DUMAS, M., TER HOFSTEDE A.; RUSSELL, N., Pattern Based Analysis of BPEL4WS, Technical Report FIT-TR-2002-04, 2002.
XINGUO, D.; ZIYU, L.; WEIQING, C.; RULIANG, X.; LING, L.; LINA, F., Modeling and verifying web service composition using colored Petri nets based on WSCI, In: Proc. of
IEEE International Conference on Industrial Engineering and Engineering
Management, IEEM 2007, Vol. 2, No. 4, pp. 1863–1867, 2007.
XIANG, F.; TEVFIK, B.; JIANWEN, S., Analysis of interacting BPEL Web Services, In: ACM Press, pp. 621-630, 2004.
YANG, Y.; TAN, Q.; YU, J.; LIU,F., Transformation BPEL to CP-nets for verifying Web services composition, In: Proc. Of International Conference on Next Generation Web
Services Practices (NWeSP 2005), Vol. 22, No. 26, pp. 137-143, 2005.
YAN, Y.; LIANG, Y.; DU, X., Controlling remote instruments using Web services for online experiment systems, In: Proc. of IEEE International Conference on Web Services, ICWS 2005, Vol. 1, No. 11-15, pp. 724-732, 2005.
YONGLIN, C.; JIANGUO, C.; ZUYU, W., Platform for an Open Architecture Controller Based on a General Operation System with a Hard Real-Time Extension, In: Inter.
Journal of Production Research, Vol. 41, No. 12, pp. 2839-2850, 2003.
ZHANG, J.; CHUNG, J. WS-Net: A Petri-net Based Specification Model for Web Services, In:
Proc. of IEEE International Conference on Web Services, ICWS’04, pp. 420-427, 2004.
ZHENG, Y.; KRAUSE, P., Automata Semantics and Analysis of BPEL, In: Proc. of IEEE
International Conference on Digital Ecosystems and Technologies, IEEE DEST 2007,
pp. 147-152, 2007.
ZHU, H.; HE, J.; LI, J.; BOWEN, J., Algebraic Approach to Linking the Semantics of Web Services, In: Proc. Fifth IEEE International Conference on Software Engineering and
Formal Methods, pp. 315-328, 2007.
ZEEB, E.; BOBEK A.; BOHN, H.; GOLATOWSKI, F., Service-Oriented Architectures for Embedded Systems Using Devices Profile for Web Services, AINAW , In: Proc. of the 21st
International Conference on Advanced Information Networking and Applications,
Vol.1, pp. 956-963, 2007.
ZHOU, M.;VENKATESH, K., Modeling, simulation, and control of flexible manufacturing
systems: a Petri net approach, World Scientific Publishing Co. pte.Ltd, 1999.
ZURAWSKI, R; ZHOU, M., Petri nets and industrial applications: a tutorial, In: IEEE,
ANEXO A
Conforme apresentado no Capítulo 1 a metodologia de pesquisa adotada estabelece que os estudos e resultados parciais do trabalho devem ser continuamente discutidos e revistos sob diferentes visões: teoria, ferramentas e aplicação e, além disso, devido à natureza multidisciplinar do tema que envolve aplicação típica na área de processos de fabricação, teorias na área de sistemas a eventos discretos e ferramentas soluções da área de computação e eletrônica industrial, houve um esforço especial para a participação e apresentação de trabalhos em eventos científicos onde sabidamente se teria a realimentação de pesquisadores dessas diferentes áreas.
Segue assim a lista de trabalhos que foram gerados durante esta pesquisa.
Trabalhos submetidos e aprovados para apresentação e publicação em eventos científicos. Internacionais
NASSAR, M.V.; GARCIA MELO, J.I.; DOS SANTOS FILHO, D.J; MIYAGI, P.E., Modeling and Analysing of the Entry Flow System in a Continuos Pickling Line Process Using Petri Net, In:19th International Congress of Mechanical Engineering (COBEM 2007), Brasília, Brazil, 2007.
MORALES, G.R.A.; GARCIA MELO, J.I., MIYAGI, P.E., Diagnosis and Treatment of Faults in Production Systems Based on Bayesian Networks and Petri Net, In: IEEE
Conference on Automation Science and Engineering(CASE 2007), Scotsdale,
USA,2007.
KANESHIRO, P.I., GARCIA MELO, J.I., MIYAGI, P.E., CUGNASCA, C., Modeling of Collision Resolution Algorithm in Lonworks Networks, In: ASME International
Mechanical Engineering Congress and Exposition (IMECE07),Seattle, WA, USA, 2007.
KANESHIRO, P.I., GARCIA MELO, J.I., MIYAGI, P.E., CUGNASCA, C., Metodologia para Modelagem e Análise de Redes de Controle LonworksPor meio da Rede de Petri, In:8º Congreso Iberoamericano de Ingenieria Mecânica (CIBIM 2007) Cusco, Peru, 2007.
NASSAR, M. V.; GARCIA MELO, J.I.; Miyagi, P.E., Modeling and Analysing of the Material Entry Flow System in a Pickling Line Process Using Petri Net,In:. Symposium