Service-oriented process control using High-Level Petri Nets

Abstract

Abstract-Service-oriented systems constitute a suitable approach for the development of modular, flexible and reconfigurable production systems, addressing the current requirements imposed by global markets. This paper focuses on the process control of Service-oriented production systems, whose behavior is regulated by the coordination of services that are available from distributed modular and collaborative control components. The proposed control is based on a kind of Highlevel Petri Nets tailored for the description, connection and synchronization of different concurrent processes. Several features can be distinguished by this approach, since its modularity, control reusability, flexibility and other valuable inherited characteristics from the proposed High-Level Petri Nets.

Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation

“…Service-oriented principles are being used to establish a new class of modular and reconfigurable production systems, which considers High-level Petri nets as formal language to describe and execute the structure and predictive behavior of a production system (see [3] for information about the type of High-level Petri nets used). It uses a bottom-up approach, which consists in:…”

“…The last one is being adopted by the authors mainly due to its mathematical foundation that provide innumerous features, not only in terms of modeling of a service-oriented system, but also in terms of its analysis, validation, simulation and execution [3].…”

Industrial Agents in the Era of Service-Oriented Architectures and Cloud-Based Industrial Infrastructures

“…In particular, an engineering framework for the development of service-oriented automation systems was introduced by Mendes et al (2008), using the Petri nets formalism as a unified tool for the specification, modeling, analysis, and execution of service-based automation systems. Petri nets are also exploited as the form of orchestration and composition in service-oriented automation systems.…”

High-Level Petri Nets control modules for service-oriented devices: A case study

“…Therefore, it is straight-forward to map it into a HLPN, where operations (actions and events) are modeled by transitions and the places mean the state of service's coordination or the internal state of control. More information can be obtained by reading the document referenced by [8].…”

“…8. It is made of the connection of the individual models from the transfer units that provide the individual control logic, following the connection rules described in [8]. Still open are two ports that were not connected, i.e.…”