Petri Net is arguably the best model for capturing causality and concurrency relations between the events of an asynchronous.