Theoretical Computer Science, Concurrency, Automata Theory and Logic in Computer Science, Petri nets: connections with product systems, expressions, Modelling and analysis of timed, concurrent systems using Petri nets, Formal verification of Timed systems