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

The fusion of mechatronics, communication, control and information technologies has allowed the introduction of new automation paradigms into the production environment. The virtualization of the production environment facilitated by the application of the service-oriented architecture paradigm is one of major outcomes of that fusion. On one side, service-oriented automation works based on exposition, subscription and use of automation functions represented by e.g. web services. On the other side, the evolution of traditional industrial systems, particularly in the production area, as a response to architectural and behavioural (functional) viewpoints of the ISA95 enterprise architecture, where a close inter-relation between SCADA, DCS and MES systems facilitate the management and control of the production environment. Automation functions are increasingly performed by the composition and orchestration of services. Among other methods, the application of formal Petri net based orchestration approaches is being industrially established. This paper presents the major characteristics that such a Petri net based orchestration presents when it is developed, implemented and deployed in an industrial environment.

[1]  Armando W. Colombo,et al.  Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design , 1999, IEEE Trans. Control. Syst. Technol..

[2]  Stamatis Karnouskos,et al.  Architecting the next generation of service-based SCADA/DCS system of systems , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[3]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[4]  Ricardo Carelli,et al.  A temporised Petri net approach for design, modelling and analysis of flexible production systems , 1997 .

[5]  Raymond Turner,et al.  Specification , 2011, Minds and Machines.

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Wolfgang Mahnke,et al.  OPC Unified Architecture , 2009, Autom..

[8]  Paulo Leitão,et al.  Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[9]  Matthias Damm,et al.  OPC Unified Architecture , 2009, Autom..

[10]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[11]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[12]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[13]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[14]  P. Leitao,et al.  High-Level Petri Nets control modules for service-oriented devices: A case study , 2008, 2008 34th Annual Conference of IEEE Industrial Electronics.

[15]  K. Feldmann,et al.  Material flow and control sequence specification of flexible production systems using coloured Petri nets , 1998 .

[16]  Liu Bing,et al.  Web Service Composition and Analysis: A Petri-net Based Approach , 2005 .