Saltar para:
Logótipo
Você está em: Início > Publicações > An approach to the formal specification of holonic control systems > Visualizar Publicações Relacionadas

Publicações com os mesmos autores da publicação An approach to the formal specification of holonic control systems

Agrupar Por: Ordenação:

Capítulo ou Parte de Livro

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

Artigo em Revista Científica Internacional

ADACOR : a collaborative production automation and control architecture
Paulo Leitão (Autor) (Outra); Armando W. Colombo (Autor) (Outra); Francisco José de Oliveira Restivo (Autor) (FEUP)
A Formal Specification Approach for Holonic Control Systems: the ADACOR Case
Paulo Leitão (Autor) (Outra); Armando W. Colombo (Autor) (Outra); Francisco Restivo (Autor) (FEUP)

Artigo em Livro de Atas de Conferência Internacional

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

Registos 1 a 11 de 11

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-31 às 13:10:00 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico