Petri nets are widely used to model and verify the behaviour of asynchronous systems.