Process optimization of service-oriented automation devices based on Petri nets

This paper introduces a novel method for the specification and selection of criteria-weighted operation modes for the orchestration of services in industrial automation using Petri nets. The objective is to provide to the internal decision support system of a service-oriented automation device or of another applicable computational system the capability to select the best path in a Petri net orchestration model considering different criteria to evaluate the quality of services, such as the time, energy efficiency and reliability. The transition-invariants obtained from the Petri net represent the set of possible modi operandi and these are then weighted with decision criteria. The result will be afterwards evaluated in order to select the optimal modus operandi to be executed by the device. Based on the experiments, this method permits the dynamic optimization of processes in real-time, considering available parameters from devices and other resources.

[1]  Frank Golatowski,et al.  Service-Oriented Architectures for Embedded Systems Using Devices Profile for Web Services , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

[2]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[3]  James Pasley,et al.  How BPEL and SOA Are Changing Web Services Development , 2005, IEEE Internet Comput..

[4]  P. Leitao,et al.  Customizable service-oriented Petri net controllers , 2009, 2009 35th Annual Conference of IEEE Industrial Electronics.

[5]  Xiaohong Peng,et al.  Service-Oriented Embedded Device Model in Industrial Automation , 2008, 2008 Second International Symposium on Intelligent Information Technology Application.

[6]  Ling Li,et al.  Modeling Web Service Choreography and Orchestration with Colored Petri Nets , 2007, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007).

[7]  José L. Martínez Lastra,et al.  Semantic web services in factory automation: fundamental insights and research roadmap , 2006, IEEE Transactions on Industrial Informatics.

[8]  F. Jammes,et al.  Service-oriented architectures for devices - the SIRENA view , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[9]  F. Golatowski,et al.  Device and service templates for the Devices Profile for Web Services , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[10]  Bala Srinivasan,et al.  Security Analysis for Internet Banking Models , 2007 .

[11]  Vldb Endowment,et al.  The VLDB journal : the international journal on very large data bases. , 1992 .

[12]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[13]  Zakaria Maamar,et al.  A Web services composition approach based on software agents and context , 2004, SAC '04.

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

[15]  Noureddine Zerhouni,et al.  Some subclasses of Petri nets and the analysis of their structural properties: a new approach , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[16]  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.

[17]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[18]  Youakim Badr,et al.  Enhancing web service selection by QoS-based ontology and WS-policy , 2008, SAC '08.

[19]  Kleanthis Thramboulidis,et al.  Semantic Web Services in the Development of Distributed Control and Automation Systems , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[20]  Marco Gerosa,et al.  A Technology Roadmap on Service-Oriented Cross-layer Infrastructure for Distributed smart Embedded devices , 2008 .

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

[22]  Ralph Deters,et al.  Selecting the best web service , 2004, CASCON.