91
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
92
TITLE: Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows
AUTHORS: Jose Inacio Rocha; Octavio Pascoa Dias; 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
93
TITLE: Communication Support for Petri nets based Distributed Controllers
AUTHORS: Edgar M Silva; Rogerio Campos Rebelo; Takahiro Hirashima; Filipe Moutinho; Pedro Malo; Aniko Costa; 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
94
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
95
TITLE: Cloud based development framework using IOPT Petri nets for embedded systems teaching
AUTHORS: Luis Gomes; Aniko Costa;
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
96
TITLE: Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling
AUTHORS: Filipe Moutinho; Luis Gomes;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 10, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
97
TITLE: A Dynamically Consistent Hierarchical Control Architecture for Robotic-Assisted Tele-Echography
AUTHORS: Luis Santos; Rui Cortesao;
PUBLISHED: 2014, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014)
INDEXED IN: Scopus WOS CrossRef
98
TITLE: A Platform Independent Communication support for Distributed Controller Systems modelled by Petri nets
AUTHORS: Edgar M Silva; Pedro Malo; 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
99
TITLE: Output Events for Human-System Interaction Modeling
AUTHORS: Rogerio Campos Rebelo; Aniko Costa; Luis Gomes;
PUBLISHED: 2014, SOURCE: 7th International Conference on Human System Interactions (HSI) in 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI)
INDEXED IN: WOS
100
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
Page 10 of 17. Total results: 165.