Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > Formal specification of ADACOR holonic control system : coordination models > View related publications
Publication

Publications

Publications with the same authors as the Formal specification of ADACOR holonic control system : coordination models publication

Group by: Order:

Chapter or Part of a Book

Service-oriented Agents for Collaborative Industrial Automation and Production Systems
J. Marco Mendes (Author) (FEUP); Paulo Leitão (Author) (FEUP); Francisco Restivo (Author) (FEUP); Armando W. Colombo (Author) (FEUP)

Article in International Scientific Journal

An approach to the formal specification of holonic control systems
Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Francisco Restivo (Author) (FEUP)
2003
Indexing
ADACOR : a collaborative production automation and control architecture
Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Francisco José de Oliveira Restivo (Author) (FEUP)
A Formal Specification Approach for Holonic Control Systems: the ADACOR Case
Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Francisco Restivo (Author) (FEUP)

Article in International Conference Proceedings Book

Software methodologies for the engineering of service-oriented industrial automation : the continuum project
J. Marco Mendes (Author) (FEUP); Axel Bepperling (Author) (Other); João Pinto (Author) (Other); Paulo Leitão (Author) (Other); Francisco Restivo (Author) (FEUP); Armando W. Colombo (Author) (Other)
Service-oriented process control using high-level Petri Nets
João Marco de Melo Pereira Mendes (Author) (FEUP); Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Francisco José de Oliveira Restivo (Author) (FEUP)
Formal specification of holonic control system ADACOR product holon, using high-level petri nets
Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Francisco José de Oliveira Restivo (Author) (FEUP); Ronald Schoop (Author) (Other)
Distributed control patterns using device profile for web services
J. Marco Mendes (Author) (FEUP); Alexandre Rodrigues (Author) (Other); Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Francisco Restivo (Author) (FEUP)
Decision support system for Petri nets enabled automation components
João Pinto (Author) (Other); J. Marco Mendes (Author) (FEUP); Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Axel Bepperling (Author) (Other); Francisco Restivo (Author) (FEUP)
A formal validation approach for holonic control system specifications
Paulo Leitão (Author) (Other); Armando W. Colombo (Author) (Other); Francisco José de Oliveira Restivo (Author) (FEUP)
A collaborative automation approach to distributed production systems
Armando W. Colombo (Author) (FEUP); Ronald Schoop (Author) (Other); Paulo Leitão (Author) (Other); Francisco José de Oliveira Restivo (Author) (FEUP)

Records 1 to 11 from 11

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-12 at 04:18:54 | Privacy Policy | Personal Data Protection Policy | Whistleblowing