| 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.