Browsing by Author Leitão, Paulo

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:  
Showing results 34 to 53 of 128 < previous   next >
Issue DateTitleAuthor(s)TypeAccess Type
2010Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automationLeitão, Paulo; Alves, Joel; Mendes, João M.; Colombo, Armando W.conferenceObjectopenAccess
2009Engineering tools for the integration of service-oriented production systemsLeitão, Paulo; Mendes, João M.; Bepperling, Axel; Cachapa, Daniel; Colombo, Armando W.conferenceObjectrestrictedAccess
2011Enhancing ADACOR with biology insights towards reconfigurable manufacturing systemsBarbosa, José; Leitão, Paulo; Adam, Emmanuel; Trentesaux, DamienconferenceObjectrestrictedAccess
2011Enhancing service-oriented holonic multi-agent systems with self-organizationBarbosa, José; Leitão, PauloconferenceObjectopenAccess
2007Evolvable production systems in a RMS context: enabling concepts and technologiesBarata, José; Onori, Mauro; Frei, Regina; Leitão, PauloconferenceObjectopenAccess
2005Experimental validation of ADACOR holonic control systemLeitão, Paulo; Restivo, FranciscoarticlerestrictedAccess
2013Flexible job shop scheduling problem in manufacturingCurralo, Ana; Pereira, Ana I.; Barbosa, José; Leitão, PauloconferenceObjectopenAccess
2013Flexible job shop scheduling problem in manufacturingCurralo, Ana; Pereira, Ana I.; Barbosa, José; Leitão, PauloconferenceObjectopenAccess
2006A formal specification approach for holonic control systems: the ADACOR caseLeitão, Paulo; Colombo, Armando W.; Restivo, FranciscoarticlerestrictedAccess
2005Formal specification of ADACOR holonic control system: coordination modelsLeitão, Paulo; Colombo, Armando W.; Restivo, FranciscoconferenceObjectrestrictedAccess
2003Formal specification of holonic control system ADACOR product holon, using high-level Petri NetsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco; Schoop, RonaldconferenceObjectrestrictedAccess
2003A formal validation approach for holonic control system specificationsLeitão, Paulo; Colombo, Armando W.; Restivo, FranciscoconferenceObjectopenAccess
2006Foundations for a core ontology of manufacturingBorgo, Stefano; Leitão, PaulobookPartrestrictedAccess
2000A framework for distributed manufacturing applicationsLeitão, Paulo; Restivo, FranciscoconferenceObjectopenAccess
2012GRACE ontology integrating process and quality controlLeitão, Paulo; Rodrigues, Nelson; Turrin, Claudio; Pagani, Arnaldo; Petrali, PierluigiconferenceObjectopenAccess
2008High-level petri nets control modules for service-oriented devices: a case studyMendes, João M.; Leitão, Paulo; Colombo, Armando W.; Restivo, FranciscoconferenceObjectrestrictedAccess
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, FranciscoarticlerestrictedAccess
2002Holonic adaptive production control systemsLeitão, Paulo; Restivo, FranciscoconferenceObjectrestrictedAccess
2008A holonic approach to dynamic manufacturing schedulingLeitão, Paulo; Restivo, FranciscoarticlerestrictedAccess
2006A holonic approach to dynamic manufacturing schedulingLeitão, Paulo; Restivo, FranciscoconferenceObjectrestrictedAccess