Service-oriented SCADA and MES supporting Petri nets based orchestrated automation systems

IECON Proceedings (Industrial Electronics Conference)

Volumn , Issue , 2012, Pages 6144-6150

  Colombo, Armando W ^a,b   Mendes, J Marco ^a   Leitao, Paulo ^c,d   Karnouskos, Stamatis ^e  

^a Schneider Electric Automation GmbH   (Germany)

^b UNIVERSITY OF APPLIED SCIENCES EMDEN LEER   (Germany)

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

^d UNIVERSITY OF PORTO   (Portugal)

^e SAP RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION FUNCTIONS; AUTOMATION SYSTEMS; ENTERPRISE ARCHITECTURE; INDUSTRIAL ENVIRONMENTS; INDUSTRIAL SYSTEMS; PRODUCTION AREA; PRODUCTION ENVIRONMENTS; SERVICE ORIENTED; VIRTUALIZATIONS;

INDUSTRIAL ELECTRONICS; INFORMATION SERVICES; INFORMATION TECHNOLOGY; PETRI NETS; SCADA SYSTEMS; SERVICE ORIENTED ARCHITECTURE (SOA); WEB SERVICES;

AUTOMATION;

EID: 84872947535     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2012.6389076     Document Type: Conference Paper

References (16)

1. http://www.isa-95.com
2. S. Karnouskos, and A. W. Colombo, "Architecting the next generation of service-based SCADAIDCS system of systems", 37th Annual Conference of the IEEE Industrial Electronics Society (IECON 2011), Melbourne, Australia, 7-10 Nov 2011.
3. J. M. Mendes, A. Bepperling, J. Pinto, P. Leitao, F. Restivo, A.W. Colombo, "Software Methodologies for the Engineering of Serviceoriented Industrial Automation: The Continuum Project", Proceedings of the 33rd Annual IEEE International Conference on Computer Software and Applications (COMPSAC'09), pp. 452-459, 2009.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications", IEEE, vol. 77, n. 4, pp. 541-580,1989.
5. M. Zhou, F. DiCesare, "Petri net synthesis for discrete event control of manufacturing systems", The International Series In Engineering and Computer Science, Kluwer Academic Pub. (Boston), 1993.
6. R. David, H. Alia," Discrete,c ontinuous and hybrid Petri nets", Springer Verlag, 2010.
7. A.W. Colombo, R. Carelli, B. Kuchen, "A temporized Petri net approach for designing, modelling and analysis of flexible production systems", International Journal of Advanced Manufacturing Technology, vol. 13, n. 3, Springer Verlag London, pp. 214-226,1997.
8. K. Feldmann, A.W. Colombo, "Material flow and control sequence specificationl of flexilb Produnction system using coloured Petrinets", International Journal of Advanced Manufacturing Technology vol. 14, n. 10, Springer verlag London, pp. 760-774, 1998.
9. NN, "Web Services Business Process Execution Language Version 2.0", OASIS Standard, April 2007.
10. R. Hamadi, B. Benatallah, "A Petri net-based model for web service composition", Proceedings of the 14th Australasian database conference, Darlinghurst, Australia, pp. 191-200,2003.
11. st International Conference on Semantics, Knowledge and Grid (SKG '05), November 2005.
12. K. Feldmann, A.W. Colombo, C. Schnur, T. Stoeckel, "Specification, design and implementation of logic controllers based on coloured Petrinet models and the standard IEC1131. Part 1: specification and design", IEEE Trans. on Control Systems Technology, pp. 657-665,1999.
13. J. M. Mendes, P. Leitao, A.W. Colombo, F. Restivo, "High-Level Petri Nets control modules for service-oriented devices: A case study", Proceedings of the 34th Annual Conference of IEEE Industrial Electronics (IECON'08), pp. 1487-1492,2008.
14. http://docs.oasis-open.org/ws-dd/ns/dpws/2009101.
15. W. Mahnke, S.-H. Leitner, M. Darnm, "OPC Unified Architecture", Springer, 2009.
16. D. Box, et ai, Web Services Eventing (WS-Eventing), http://www.w3.org/ Submissionl2006/SUBM-150 WS-Eventing-20060315/, 15 March 2006.