28 documents found, page 1 of 3
High-level petri nets for the process description and control in service-orient...
Leitão, Paulo; Mendes, João M.; Colombo, Armando W.; Restivo, FranciscoThe use of service-orientation principles in manufacturing systems is a promising solution to achieve modularity, flexibility, re-configurability and interoperability. Crucial issues in these service-oriented systems are the description and coordination of the execution of the services offered by the distributed entities. This paper introduces an integrated approach for the design, analysis, validation, simulat...
Service-oriented SCADA and MES supporting petri nets based orchestrated automat...
Colombo, Armando W.; Mendes, João M.; Leitão, Paulo; Karnouskos, StamatisThe 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, subscript...
Integration of virtual and real environments for engineering service-oriented m...
Leitão, Paulo; Mendes, João M.; Bepperling, Axel; Cachapa, Daniel; Colombo, Armando W.; Restivo, FranciscoEngineering frameworks are currently required to support the easy, low-cost, modular and integrated development of manufacturing systems addressing the emergent requirements of re-configurability, responsiveness and robustness. This paper discusses the integration of 2D/3D digital software tools with Petri net based service-oriented frameworks to allow the design, configuration, analysis, validation, simulation...
Service-oriented computing in manufacturing automation: a SWOT analysis
Mendes, João M.; Leitão, Paulo; Colombo, Armando W.Service-oriented Computing (SOC) is being applied in industrial manufacturing automation to face the current demand for modular, flexible and reconfigurable solutions. Highlighted from the other existing methodologies, SOC may carry an alternative but natural solution to design and engineer manufacturing automation systems and consequently the ability to seamless integrate into the modern IT-enterprise. However...
Behaviour and integration of service-oriented automation and production devices...
Mendes, João M.; Restivo, Francisco; Colombo, Armando W.; Leitão, PauloAutomation and manufacturing systems are changing in the direction of cooperative ecosystems with heterogeneous entities. An important feature that should be considered is the vertical integration from the business needs down to the shop-floor where the real action takes place. This paper analyses the integration of shop-floor devices into the IT-enterprise but maintaining also a certain degree of independence ...
Petri net based engineering and software methodology for service-oriented indus...
Mendes, João M.; Restivo, Francisco; Leitão, Paulo; Colombo, Armando W.Collaborative industrial systems are becoming an emergent paradigm towards flexibility. One promising solution are service-oriented industrial automation systems, but integrated software methodologies and major frameworks for the engineering are still missing. This paper presents na overview of the current results on a unified and integrated methodology based on intrinsic and novel features of Petri nets. These...
Energy aware knowledge extraction from Petri nets supporting decision-making in...
Leitão, Paulo; Alves, Joel; Mendes, João M.; Colombo, Armando W.This paper introduces an approach to decision support systems in service-oriented automation control systems, which considers the knowledge extracted from the Petri nets models used to describe and execute the process behavior. Such solution optimizes the decision-making taking into account multi-criteria, namely productive parameters and also energy parameters. In fact, being manufacturing processes typically ...
Composition of Petri nets models in service-oriented industrial automation
Mendes, João M.; Leitão, Paulo; Restivo, Francisco; Colombo, Armando W.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...
Injecting service-orientation into multi-agent systems in industrial automation
Mendes, João M.; Restivo, Francisco; Leitão, Paulo; Colombo, Armando W.Service-oriented architecture and multi-agent systems are used in the research of novel control systems for industrial automation. This work presents the advance of service-orientation into multi-agent system in industrial automation. An overview of the concept of service-oriented agent is done and also the enhancements that services can bring to multi-agent systems. The documented topics of this work are based...
Process optimization of service-oriented automation devices based on Petri nets
Mendes, João M.; Leitão, Paulo; Restivo, Francisco; Colombo, Armando W.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...