current main research topics
  • Petri nets modeling issues emphasizing structuring mechanisms, model composability and model partitioning issues.

  • Hardware-software co-design of embedded systems using Petri nets and other models of concurrency (namely hierarchical and concurrent finite state machines based formalisms).

  • Distributed execution of models (using Petri nets and other models of concurrency), emphasis on GALS (Globally-Asynchronous-Locally-Synchronous) and NoCs (Network-on-Chip) paradigms.

  • Reconfigurable computing platforms.