Search Results - Aniko Costa

Refine Results
  1. 1
    Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs

    Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs by Wisniewski, Remigiusz, Karatkevich, Andrei, Adamski, Marian, Costa, Aniko, Gomes, Luis

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers

    Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers by Gomes, Luis, Natário, Diogo, Costa, Anikó, Barros, João-Paulo, Campos-Rebelo, Rogério

    Published in Applied sciences
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA

    Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA by Wiśniewski, Remigiusz, Costa, Anikó, Wojnakowski, Marcin, Maliński, Maxim

    Published in Applied sciences
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices

    Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices by Wisniewski, Remigiusz, Bazydlo, Grzegorz, Gomes, Luis, Costa, Aniko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    The Input-Output Place-Transition Petri Net Class and Associated Tools

    The Input-Output Place-Transition Petri Net Class and Associated Tools by Gomes, L., Barros, J.P., Costa, A., Nunes, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Reconfigurable devices based experimentation supporting teaching introductory digital systems

    Reconfigurable devices based experimentation supporting teaching introductory digital systems by Gomes, Luis, Costa, Aniko, Moutinho, Filipe, Malo, Pedro

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Petri net partitioning using net splitting operation

    Petri net partitioning using net splitting operation by Costa, A., Gomes, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    System development using Petri net based modules

    System development using Petri net based modules by Costa, A., Gomes, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    From Petri net models to VHDL implementation of digital controllers

    From Petri net models to VHDL implementation of digital controllers by Gomes, L., Costa, A., Barros, J.P., Lima, P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Ecore representation for extending PNML for Input-Output Place-Transition nets

    Ecore representation for extending PNML for Input-Output Place-Transition nets by Moutinho, F, Gomes, Luís, Ramalho, F, Figueiredo, J, Barros, João Paulo, Barbosa, P, Pais, R, Costa, Anikó

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Petri net Splitting Operation within Embedded Systems Co-design

    Petri net Splitting Operation within Embedded Systems Co-design by Costa, A., Gomes, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    On the verification of non-autonomous Petri net models using autonomous petri net tools

    On the verification of non-autonomous Petri net models using autonomous petri net tools by Barros, J. P., Gomes, L., Costa, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Model composition by reusing Petri net based modules

    Model composition by reusing Petri net based modules by Costa, A., Gomes, L., Barros, J. P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Modeling complex Petri nets operations in the Model-Driven Architecture

    Modeling complex Petri nets operations in the Model-Driven Architecture by Barbosa, P.E.S., Costa, A., de Figueiredo, J.C.A., Ramalho, F., Gomes, L., dos S. Junior, A.D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Petri Net based Building Automation and Monitoring System

    Petri Net based Building Automation and Monitoring System by Gomes, L., Costa, A., Barros, J.P., Pais, R., Rodrigues, T., Ferreira, R.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Attracting students to engineering through autonomous sailing yacht development

    Attracting students to engineering through autonomous sailing yacht development by Gomes, Luis, Costa, Aniko, Moutinho, Filipe, Mota, Ricardo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    A MDA-based contribution for integrating web services within embedded system's design

    A MDA-based contribution for integrating web services within embedded system's design by Barbosa, Paulo E S, Costa, Anikó, Gomes, Luís, Ramalho, Franklin, de Figueiredo, Jorge C A, Junior, A

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Event life time in detection of sequences of events

    Event life time in detection of sequences of events by Campos-Rebelo, Rogerio, Costa, Aniko, Gomes, Luis

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Output events for human-system interaction modeling

    Output events for human-system interaction modeling by Campos-Rebelo, Rogerio, Costa, Aniko, Gomes, Luis

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Events for human-system interaction modeling with IOPT Petri nets

    Events for human-system interaction modeling with IOPT Petri nets by Campos-Rebelo, Rogerio, Costa, Aniko, Gomes, Lui

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: