131
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
IN MY: ORCID
132
TITLE: Multifunctional Controller Architecture for Solid-State Marx Modulator Based on FPGA  Full Text
AUTHORS: Pereira, F; Gomes, L; Redondo, LM;
PUBLISHED: 2014, SOURCE: IEEE Transactions on Plasma Science, VOLUME: 42, ISSUE: 10
INDEXED IN: Scopus CrossRef
IN MY: ORCID
133
TITLE: Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows
AUTHORS: Rocha, JI; Dias, OP; 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
IN MY: ORCID
134
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
IN MY: ORCID
135
TITLE: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTHORS: Campos Rebelo, R; Costa, A; 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
IN MY: ORCID
136
TITLE: Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets
AUTHORS: Campos-Rebelo, R; Costa, A; Gomes, L;
PUBLISHED: 2014, SOURCE: Advances in Intelligent Systems and Computing - Human-Computer Systems Interaction: Backgrounds and Applications 3
INDEXED IN: CrossRef
IN MY: ORCID
137
TITLE: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTHORS: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLISHED: 2014, SOURCE: Technological Innovation for Collective Awareness Systems - IFIP Advances in Information and Communication Technology
INDEXED IN: CrossRef
IN MY: ORCID
138
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
IN MY: ORCID
139
TITLE: IOPT-tools-Towards cloud design automation of digital controllers with Petri nets
AUTHORS: Pereira, F; Moutinho, F; Gomes, L;
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
IN MY: ORCID
140
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
Page 14 of 23. Total results: 227.