Utilize este identificador para referenciar este registo: http://hdl.handle.net/10198/1416
Título: A formal specification approach for holonic control systems: the ADACOR case
Autor: Leitão, Paulo
Colombo, Armando W.
Restivo, Francisco
Palavras-chave: Petri nets
Intelligent manufacturing control
Flexible manufacturing systems
Data: 2006
Editora: Inderscience
Citação: Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2006) - A formal specification approach for holonic control systems: the ADACOR case. International Journal of Manufacturing Technology and Management. ISSN 1741-5195. 8:1-2-3 p.37-57
Resumo: Distributed manufacturing control systems, like holonic control systems, are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand and to synthesize the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of holonic control systems based in Highlevel Petri nets. The proposed approach is tested in the specification of the ADACOR holonic control system.
URI: http://hdl.handle.net/10198/1416
ISSN: 1741-5195
Aparece nas colecções:DE - Artigos em Revistas Não Indexados ao ISI/Scopus

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
2006-IJTMT.pdf182,98 kBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.