https://9pdf.info/document/zx5nx854-aˇsjankovsk-yzadistribuovan-ychalgoritm-upomoc-ıpetrihos-ıanalysisofdistributedalgorithmsbymeansofpetrinets-technick-auniverzitaostravafakultaelektrotechnikyainformatikykatedrainformatiky.html