Petri net based engineering and software methodology for service-oriented industrial automation

IFIP Advances in Information and Communication Technology

Volumn 314, Issue , 2010, Pages 233-240

  Mendes, J Marco ^a   Restivo, Francisco ^a   Leitão, Paulo ^b   Colombo, Armando W ^c  

^a UNIVERSITY OF PORTO   (Portugal)

^b INSTITUTO POLITÉCNICO DE BRAGANÇA   (Portugal)

^c Schneider Electric Automation GmbH   (Germany)

Author keywords

Industrial Automation; Petri Nets; Service oriented Architecture; Service oriented Computing; Software engineering

Indexed keywords

AUTOMATION SYSTEMS; INDUSTRIAL AUTOMATION; INDUSTRIAL AUTOMATION SYSTEM; INDUSTRIAL SYSTEMS; INTEGRATED METHODOLOGY; INTEGRATED SOFTWARE; SERVICE MANAGEMENT; SERVICE ORIENTED; SERVICE ORIENTED COMPUTING; SOFTWARE METHODOLOGIES; STILL MISSING;

ARTIFICIAL INTELLIGENCE; AUTOMATION; DECISION SUPPORT SYSTEMS; DECISION THEORY; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; GRAPH THEORY; INDUSTRY; INFORMATION SERVICES; INNOVATION; PETRI NETS; SOFTWARE ENGINEERING; TECHNOLOGICAL FORECASTING; WEB SERVICES;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 77649246341     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-11628-5_25     Document Type: Article

References (24)

1. Jammes, F., Smit, H.: Service-oriented paradigms in industrial automation. IEEE Transactions on Industrial Informatics 1, 62-70 (2005)
2. Bobek, A., Zeeb, E., Bohn, H., Golatowski, F., Timmermann, D.: Device and service templates for the Devices Profile for Web Services. In: Proceedings of the 6th IEEE International Conference on Industrial Informatics, pp. 797-801 (2008)
3. Li, Q., Shu, Y., Tao, C., Peng, X., Shi, H.: Service-Oriented Embedded Device Model in Industrial Automation. In: Proceedings of the Workshop on Intelligent Information Technology Applications, pp. 525-529. IEEE Computer Society, Los Alamitos (2007)
4. Delamer, I.M., Lastra, J.L.M.: Self-orchestration and choreography: towards architectureagnostic manufacturing systems. In: Proceedings of the 20th International Conference on Advanced Information Networking and Applications, vol. 2, p. 5 (2006)
5. Puttonen, J., Lobov, A., Lastra, J.L.M.: An application of BPEL for service orchestration in an industrial environment. In: Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation, pp. 530-537 (2008)
6. Lobov, A., Puttonen, J., Villasenor, V., Andiappan, R., Lastra, J.L.M.: Service oriented architecture in developing of loosely-coupled manufacturing systems. In: Proceedings of the 6th IEEE International Conference on Industrial Informatics, pp. 791-796 (2008)
7. Rahman, M., Ahmad, H.F., Suguri, H., Sadik, S., Longe, H.O.D., Ojo, A.K.: Supply chain optimization towards personalizing web services. In: 4th International IEEE Conference on Intelligent Systems, vol. 3, pp. 17-22 (2008)
8. Nguyen, D., Savio, D.: Exploiting SOA for adaptive and distributed manufacturing with cross enterprise shop floor commerce. In: Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, pp. 318-323. ACM, New York (2008)
9. Ribeiro, L., Barata, J., Mendes, P.: MAS and SOA: Complementary Automation Paradigms. In: IFIP International Federation for Information Processing, Innovation in Manufacturing Networks, vol. 266, pp. 259-268. Springer, Boston (2008)
10. Cachapa, D., Colombo, A., Feike, M., Bepperling, A.: An approach for integrating real and virtual production automation devices applying the service-oriented architecture paradigm. In: Proceedings of the IEEE Conference on Emerging Technologies & Factory Automation, pp. 309-314 (2007)
11. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 541-580 (1989)
12. Murata, T., Komoda, N., Matsumoto, K., Haruna, K.: A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation. IEEE Transactions on Industrial Electronics 33(1), 1-8 (1986)
13. Gomes, L., Steiger-Garção, A.: Petri net based Programmable Fuzzy Controller targeted for distributed control environments. In: Proceedings of the the International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and the Second International Fuzzy Engineering Symposium, pp. 1427-1434 (1995)
14. Uzam, M., Jones, A.H., Ajlouni, N.: Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams. In: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation, vol. 2, pp. 649-655 (1996)
15. Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Proceedings of the 14th Australasian database conference, pp. 191-200. Australian Computer Society, Inc. (2003)
16. Bing, L., Huaping, C.: Web Service Composition and Analysis: A Petri-net Based Approach. In: Proceedings of the First International Conference on Semantics, Knowledge and Grid (2005)
17. Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: Proceedings of the first international workshop on Interoperability of heterogeneous information systems, pp. 47-54. ACM Press, New York (2005)
18. Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes. In: Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, p. 147 (2006)
19. Jiang, H., Gu, J., Yu, Q.: Modeling of Web-based collaborative negotiation systems using colored Petri net. In: Proceedings of the 12th International Multi-Media Modelling Conference, 8 p. (2006)
20. Mendes, J.M., Restivo, F., Leitão, P., Colombo, A.W.: Customizable Service-oriented Petri Net Controllers. Accepted for the 35th Annual Conference of the IEEE Industrial Electronics Society (2009)
21. Mendes, J.M., Leitão, P., Colombo, A.W., Restivo, F.: High-Level Petri Nets Control Modules for Service-Oriented Devices: A Case Study. In: Proceedings of the 34th Annual Conference of the IEEE Industrial Electronics Society, pp. 1487-1492 (2008)
22. Leitão, P., Mendes, J.M., Colombo, A.W.: Decision Support System in a Service-oriented Control Architecture for Industrial Automation. In: Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, pp. 1228-1235 (2008)
23. Leitao, P., Mendes, J.M., Colombo, A.W.: Smooth Migration from the Virtual Design to the Real Manufacturing Control. In: Proceedings of the 7th IEEE International Conference on Industrial Informatics (2009)
24. Mendes, J.M., Bepperling, A., Pinto, J., Leitão, P., Restivo, F., Colombo, A.W.: Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project. In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (2009)