https://123dok.net/document/zkw18x68-modified-timed-petri-nets-timeouts-modelling-communication-protocols.html