Paulo Jorge Pinto Leitão


AuthID: R-000-K82

Confirmed Publications: 386



311
TITLE: Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation
AUTHORS: Marco M Mendes; Francisco Restivo ; Paulo Leitao ; Armando W Colombo;
PUBLISHED: 2010, SOURCE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
312
TITLE: Preface
AUTHORS: José Barara; Paulo Leitão ;
PUBLISHED: 2010, SOURCE: IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 10, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
313
TITLE: Process optimization of service-oriented automation devices based on Petri nets
AUTHORS: Mendes, JM; Leitao, P ; Restivo, F ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXED IN: Scopus CrossRef: 5 Handle
IN MY: ORCID | CIÊNCIAVITAE
314
TITLE: Solving myopia in real-time decision-making using Petri nets models' knowledge for service-oriented manufacturing systems
AUTHORS: Leitao, P ; Alves, J; Pereira, AI ;
PUBLISHED: 2010, SOURCE: 10th IFAC Workshop on Intelligent Manufacturing Systems, IMS'10 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 10, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
315
TITLE: Agent-based distributed manufacturing control: A state-of-the-art survey  Full Text
AUTHORS: Paulo Leitao ;
PUBLISHED: 2009, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 22, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef: 644
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
316
TITLE: Customizable Service-oriented Petri Net Controllers
AUTHORS: Mendes, JM; Restivo, F ; Leitao, P ; Colombo, AW;
PUBLISHED: 2009, SOURCE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON 2009) in IECON: 2009 35TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS, VOLS 1-6
INDEXED IN: Scopus WOS CrossRef: 6 Handle
IN MY: ORCID | CIÊNCIAVITAE
317
TITLE: Decision Support System for Petri Nets Enabled Automation Components
AUTHORS: Pinto, J; Mendes, JM; Leitao, P ; Colombo, AW; Bepperling, A; Restivo, F ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Industrial Informatics in 2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2
INDEXED IN: Scopus WOS CrossRef: 1 Handle
IN MY: ORCID | CIÊNCIAVITAE
318
TITLE: Engineering tools for the integration of service-oriented production systems
AUTHORS: Leitao, P ; Marco Mendes, J; Bepperling, A; Cachapa, D; Colombo, AW; Restivo, F ;
PUBLISHED: 2009, SOURCE: 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 13, ISSUE: PART 1
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
319
TITLE: Holonic Rationale and Bio-inspiration on Design of Complex Emergent and Evolvable Systems  Full Text
AUTHORS: Paulo Leitao ;
PUBLISHED: 2009, SOURCE: 20th International Conference on Database and Expert Systems Applications in TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS I, VOLUME: 5740
INDEXED IN: Scopus WOS CrossRef: 13
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
320
TITLE: Holonic Rationale and Self-organization on Design of Complex Evolvable Systems
AUTHORS: Paulo Leitao ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Industrial Application of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, PROCEEDINGS, VOLUME: 5696
INDEXED IN: Scopus WOS CrossRef: 18
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
Page 32 of 39. Total results: 386.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service