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.