Paulo Jorge Pinto Leitão
AuthID: R-000-K82
281
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets
AUTHORS: Leitão, P; Colombo, AW; Restivo, F; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January
AUTHORS: Leitão, P; Colombo, AW; Restivo, F; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID282
TITLE: Integration of automation resources in holonic manufacturing applications
AUTHORS: Leitão, P; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744
AUTHORS: Leitão, P; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744
283
TITLE: An approach to the formal specification of holonic control systems
AUTHORS: Leitão, P; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744
AUTHORS: Leitão, P; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744
284
TITLE: Identification of ADACOR Holons for Manufacturing Control
AUTHORS: Paulo Leitão; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3
AUTHORS: Paulo Leitão; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3
285
TITLE: A formal validation approach for holonic control system specifications
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation
INDEXED IN: 
Handle
Handle IN MY: ORCID
ORCID286
TITLE: Agent-based holonic production control
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2002, SOURCE: 13th International Workshop on Database and Expert Systems Applications (DEXA’02)
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2002, SOURCE: 13th International Workshop on Database and Expert Systems Applications (DEXA’02)
INDEXED IN: Handle
Handle IN MY: ORCID
ORCID287
TITLE: A multi-agent based cell controller
AUTHORS: Paulo Leitão; Francisco Restivo; Goran Putnik;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation
AUTHORS: Paulo Leitão; Francisco Restivo; Goran Putnik;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation
INDEXED IN: Handle
Handle288
TITLE: An agile and cooperative architecture for distributed manufacturing systems
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2001, SOURCE: IASTED International Conference on Robotics and Manufacturing
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2001, SOURCE: IASTED International Conference on Robotics and Manufacturing
INDEXED IN: Handle
Handle289
TITLE: Arquitecturas adaptativas e cooperativas para sistemas de fabrico distribuídos
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2001, SOURCE: Actas do 5º Encontro Nacional do Colégio de Engenharia Electrotécnica da Ordem dos Engenheiros
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2001, SOURCE: Actas do 5º Encontro Nacional do Colégio de Engenharia Electrotécnica da Ordem dos Engenheiros
INDEXED IN: Handle
Handle290
TITLE: Integrated and distributed manufacturing, a multi-agent perspective
AUTHORS: José Barata; Luís Camarinha Matos; Paulo Leitão; Raymond Boissier; Francisco Restivo; M. Raddadi;
PUBLISHED: 2001, SOURCE: 3rd Workshop on European Scientific and Industrial Collaboration (WESIC’01)
AUTHORS: José Barata; Luís Camarinha Matos; Paulo Leitão; Raymond Boissier; Francisco Restivo; M. Raddadi;
PUBLISHED: 2001, SOURCE: 3rd Workshop on European Scientific and Industrial Collaboration (WESIC’01)
INDEXED IN: Handle
Handle