2
TITLE: Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function  Full Text
AUTHORS: Dezani, H; Bassi, RDS; Marranghello, N; Gomes, L ; Damiani, F; Nunes da Silva, I;
PUBLISHED: 2014, SOURCE: Neurocomputing, VOLUME: 124
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: Configuring communication nodes for networked embedded systems specified by Petri nets
AUTHORS: Moutinho, F; Pimenta, J; Gomes, L ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 22nd International Symposium on Industrial Electronics, ISIE 2013 in IEEE International Symposium on Industrial Electronics
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
TITLE: Events for modeling of Human-System Interaction with IOPT Petri nets
AUTHORS: Rogerio Campos Rebelo; Aniko Costa ; Luis Gomes ;
PUBLISHED: 2013, SOURCE: 6th International Conference on Human System Interactions (HSI) in 2013 6TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI)
INDEXED IN: Scopus WOS
IN MY: ORCID
5
TITLE: FPGA based Speed Control of Brushless DC Motors using IOPT Petri Net models
AUTHORS: Fernando Pereira; Luis Gomes ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2013 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Special Section on Embedded and Reconfigurable Systems
AUTHORS: Luis Gomes ; Juan J Rodriguez Andina;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
7
TITLE: Special Section on Information Technologies Within Engineering Education
AUTHORS: Juan J Rodriguez Andina; Luis Gomes ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID
8
TITLE: Towards distributed execution of Petri net conflicts through model transformation
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2013 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 11. Total results: 103.