https://9lib.org/document/dy4w820q-wykonania-programow-wspolbieznych-modeli-synchronizacji-opisanych-siecia-petri.html