31
TITLE: An Ecore based Petri net Type Definition for PNML IOPT Models
AUTHORS: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
32
TITLE: An IOPT-net State-Space Generator Tool
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Jose Ribeiro; Rogerio Campos Rebelo;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
33
TITLE: Automatic Generation of Graphical User Interfaces for VHDL based Controllers
AUTHORS: Filipe Moutinho; Fernando Pereira; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 20th IEEE International Symposium on Industrial Electronics (ISIE) in 2011 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
34
TITLE: Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces
AUTHORS: Fernando Pereira; Luis Gomes ; Filipe Moutinho;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
35
TITLE: Bridge expansion joints monitoring system
AUTHORS: Guerreiro, H; Campos Rebelo, R; Gomes, L ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Intelligent Engineering Systems, INES 2011 in INES 2011 - 15th International Conference on Intelligent Engineering Systems, Proceedings
INDEXED IN: Scopus CrossRef
IN MY: ORCID
36
TITLE: Dataflow Model Property Verification Using Petri net Translation Techniques
AUTHORS: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
37
TITLE: FPGA controller for power converters with integrated oscilloscope and graphical user interface
AUTHORS: Pereira, F; Gomes, L ; Redondo, L ;
PUBLISHED: 2011, SOURCE: 3rd IEEE International Conference on Power Engineering, Energy and Electrical Drives, PowerEng2011 in International Conference on Power Engineering, Energy and Electrical Drives
INDEXED IN: Scopus CrossRef
IN MY: ORCID
38
TITLE: From IOPT Petri nets to C: an Automatic Code Generator Tool
AUTHORS: Rogerio Campos Rebelo; Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS
IN MY: ORCID
39
TITLE: From UML State Machines to Petri nets: History Attribute Translation Strategies
AUTHORS: Pais, R; Gomes, L ; Barros, JP ;
PUBLISHED: 2011, SOURCE: ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
40
TITLE: Intra- and inter-circuit network for Petri Nets based components
AUTHORS: Ricardo Ferreira; Aniko Costa ; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 20th IEEE International Symposium on Industrial Electronics (ISIE) in 2011 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 4 of 11. Total results: 103.