13 documents found, page 1 of 2
Composition of Petri Nets models in service-oriented industrial automation
J. Marco Mendes; Paulo Leitão; Francisco Restivo; Armando W. ColomboIn 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...
Process optimization of service-oriented automation devices based on Petri nets
J. Marco Mendes; Paulo Leitão; Francisco Restivo; Armando W. ColomboThis 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...
Customizable service-oriented Petri Net controllers
J. Marco Mendes; Francisco Restivo; Paulo Leitão; Armando W. ColomboIn 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...
Software methodologies for the engineering of service-oriented industrial autom...
J. Marco Mendes; Axel Bepperling; João Pinto; Paulo Leitão; Francisco Restivo; Armando W. ColomboService-orientation represents a new wave Of features and solutions by bringing closer Information Technology to the industrial domain, particularly factory shop floors. The service-oriented automation software entities (designated here by bots) used in such approach requires a short set of methodologies and software targeting their specification for both computer systems and embedded automation devices. The pr...
Decision support system for Petri nets enabled automation components
João Pinto; J. Marco Mendes; Paulo Leitão; Armando W. Colombo; Axel Bepperling; Francisco RestivoThe expected behavior of industrial automation systems can be defined and modeled, but since not every event is predicted at design time, additional care has to be taken during the operation to handle situations such as exceptions, failures and new production orders. Another remark is also the limitation of modeling languages used in the control to permit the intervention of higher grade decision mechanisms. Th...
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 RestivoEvolvable 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 service...
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 RestivoService-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...
Distributed control patterns using device profile for web services
J. Marco Mendes; Alexandre Rodrigues; Paulo Leitão; Armando W. Colombo; Francisco RestivoAutomation 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...
Formal specification of ADACOR holonic control system : coordination models
Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira RestivoThe 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...
ADACOR : a collaborative production automation and control architecture
Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira RestivoTo 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...