Biblioteca Digital do Instituto Politécnico de Bragança   Instituto Politécnico de Bragança

Biblioteca Digital do IPB >

Browsing by Author Restivo, Francisco

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 20 of 44
 next >
Issue DateTitleAuthor(s)
2005ADACOR, a collaborative production automation and control architectureLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2006ADACOR: a holonic architecture for agile and adaptive manufacturing controlLeitão, Paulo; Restivo, Francisco
2002Agent-based holonic production controlLeitão, Paulo; Restivo, Francisco
2001An agile and cooperative architecture for distributed manufacturing systemsLeitão, Paulo; Restivo, Francisco
2003An approach for the formal specification of holonic control systemsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2011Behaviour and integration of service-oriented automation and production devices at the shop-floorMendes, João M.; Restivo, Francisco; Colombo, Armando W.; Leitão, Paulo
2004A collaborative automation approach to distributed production systemsColombo, Armando W.; Schoop, Ronald; Leitão, Paulo; Restivo, Francisco
2010Composition of Petri nets models in service-oriented industrial automationMendes, João M.; Leitão, Paulo; Restivo, Francisco; Colombo, Armando W.
2009Customizable service-oriented Petri net controllersMendes, João M.; Restivo, Francisco; Leitão, Paulo; Colombo, Armando W.
2009Decision support system for Petri nets enabled automation componentsPinto, João; Mendes, João M.; Leitão, Paulo; Colombo, Armando W.; Bepperling, Axel; Restivo, Francisco
2008Distributed control patterns using device profile for Web servicesMendes, João M.; Rodrigues, Alexandre; Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2005Experimental validation of ADACOR holonic control systemLeitão, Paulo; Restivo, Francisco
2006A formal specification approach for holonic control systems: the ADACOR caseLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2005Formal specification of ADACOR holonic control system: coordination modelsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2003Formal specification of holonic control system ADACOR, product holon, using high-level Petri netsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco; Schoop, Ronald
2003A formal validation approach for holonic control system specificationsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2000A framework for distributed manufacturing applicationsLeitão, Paulo; Restivo, Francisco
2008High-level petri nets control modules for service-oriented devices: a case studyMendes, João M.; Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2012High-level petri nets for the process description and control in service-oriented manufacturing systemsLeitão, Paulo; Mendes, João M.; Colombo, Armando W.; Restivo, Francisco
2002Holonic adaptive production control systemsLeitão, Paulo; Restivo, Francisco
Showing results 1 to 20 of 44
 next >

 


  © Instituto Politécnico de Bragança - Biblioteca Digital - Feedback - Statistics
  Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE