https://123dok.net/document/9yn4gm1z-model-based-testing-interactions-using-object-oriented-petri.html