Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

Indexado ISI

Detalhes bibliográficos
Autor principal: Leitão, Paulo (author)
Outros Autores: Colombo, Armando W. (author), Restivo, Francisco (author), Schoop, Ronald (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2010
Assuntos:
Texto completo:http://hdl.handle.net/10198/1544
País:Portugal
Oai:oai:bibliotecadigital.ipb.pt:10198/1544