Encontrados 13 documentos, a visualizar página 1 de 2

Ordenado por Data

Process Optimization of Service-Oriented Automation Devices Based on Petri Nets

J. Marco Mendes; Paulo Leitão; Francisco Restivo; Armando W. Colombo

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...


Composition of Petri Nets Models in Service-oriented Industrial Automation

J. Marco Mendes; Paulo Leitão; Francisco Restivo; Armando W. Colombo

In service-oriented systems, composition of services is required to build new, distributed and more complex services, based on the logic behavior of individual ones. This paper discusses the formal composition of Petri nets models used for the process description and control in service-oriented automation systems. The proposed approach considers two forms for the composition of services, notably the offline com...


Decision support system for Petri nets enabled automation components

João Pinto; João Marco de Melo Pereira Mendes; Paulo Leitão; Armando W. Colombo; Axel Bepperling; Francisco José de Oliveira Restivo


Software methodologies for the engineering of service-oriented industrial autom...

João Marco de Melo Pereira Mendes; Axel Bepperling; João Pinto; Paulo Leitão; Francisco José de Oliveira Restivo; Armando W. Colombo


Customizable Service-oriented Petri Net Controllers

J. Marco Mendes; Francisco Restivo; Paulo Leitao; Armando W. Colombo

In industrial automation, service-orientation is a relatively new and ascending concept and thus, concrete integrated methodologies are missing to accomplish the required development tasks. A suitable approach is to use the powerful set of features that Petri nets formalism provides for such dynamic systems. This paper presents a token game template that is part of the open methodology for the development of cu...


Distributed control patterns using device profile for web services

João Marco de Melo Pereira Mendes; Alexandre Rodrigues; Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira Restivo

Automation systems are changing from the centriccontrolled approach to a more flexible and autonomous behavior. The contribution to this philosophy comes from several technologies, including service-oriented concepts. This work focus on some open points of enhanced communication and control patterns and presents it in form of a multi-use communication module. For the development of such systems, the SOA4D imple...


Service-Oriented Control Architecture for Reconfigurable Production Systems

João Marco de Melo Pereira Mendes; Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira Restivo

Evolvable and collaborative production systems are becoming an emergent paradigm towards flexibility and automatic re-configurability. The reconfiguration of those systems requires the existence of distributed and modular control components that interact in order to accomplish control activities. This paper focuses on service-oriented production systems, which behavior is regulated by the coordination of servic...


Service-oriented process control using high-level Petri Nets

João Marco de Melo Pereira Mendes; Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira Restivo

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 com...


ADACOR : a collaborative production automation and control architecture

Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira Restivo

To remain competitive, companies must react quickly to customer demands by improving their flexibility, agility, and reconfigurability while maintaining productivity and quality. On the other side, the current worldwide market competition forces companies to reconsider their organization, leading to the virtual enterprise and smart networked-enterprise models. In these circumstances, a major challenge is the mi...


Formal specification of ADACOR holonic control system : coordination models

Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira Restivo

The formal specification of agent-based and holonic manufacturing control systems assumes a critical role in order to understand and synthesize those complex systems. This paper presents the formal specification of the coordination models for the ADACOR holonic control system. For this purpose, it is used High-Level Petri Nets to model the behaviour of individual ADACOR entities, AUML interaction diagrams to re...


13 Resultados

Texto Pesquisado

Refinar resultados

Autor











Data







Tipo de Documento



Recurso


Assunto















    Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia