I am interested in Concurrency Control and Parallel Programming. I am studying Petri Net as Coloured Petri Net.