41
TITLE: Controller design and implementation: An approach based on problem frames and Petri Net models
AUTHORS: Brito, IS ; Barros, JP ; Gomes, L;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXED IN: Scopus CrossRef
42
TITLE: Controller Design and Implementation: an Approach Based on Problem Frames and Petri Net Models
AUTHORS: Isabel Sofia Brito; Joao Paulo Barros ; Luis Gomes;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: WOS
43
TITLE: Executable models for embedded controllers development - A cloud based development framework
AUTHORS: Pereira, F; Moutinho, F; Barros, JP ; Costa, A; Gomes, L;
PUBLISHED: 2015, SOURCE: MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015 in CEUR Workshop Proceedings, VOLUME: 1554
INDEXED IN: Scopus
44
TITLE: Extending input-output place-transition Petri nets for distributed controller systems development
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP ;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
INDEXED IN: Scopus CrossRef
45
TITLE: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros ;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: WOS
46
TITLE: From SysML State Machines to Petri Nets Using ATL Transformations
AUTHORS: Rui Pais; Joao Paulo Barros ; Luis Gomes;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXED IN: WOS
47
TITLE: From SysML State Machines to Petri Nets Using ATL Transformations
AUTHORS: Pais, R; Barros, JP ; Gomes, L;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014 in IFIP Advances in Information and Communication Technology, VOLUME: 423
INDEXED IN: Scopus CrossRef
48
TITLE: On the Description of Individual Course Units for Programme Assessment and Better Syllabuses
AUTHORS: Joao Paulo Barros ;
PUBLISHED: 2014, SOURCE: International Journal of Engineering Pedagogy (iJEP), VOLUME: 4, ISSUE: 5
INDEXED IN: CrossRef
49
TITLE: Requirements Specification for Controller Design - from Use Cases to IOPT Net Models
AUTHORS: Joao Paulo Barros ; Isabel Sofia Brito ; Luis Gomes;
PUBLISHED: 2014, SOURCE: 12th IEEE International Conference on Industrial Informatics (INDIN) in 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
50
TITLE: Towards the Use of Place/Transition Net Tools for Analysis of IOPT Models
AUTHORS: Joao Paulo Barros ; Luis Gomes;
PUBLISHED: 2014, SOURCE: IEEE 23rd International Symposium on Industrial Electronics (ISIE) in 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXED IN: Scopus WOS CrossRef
Page 5 of 10. Total results: 100.