https://9lib.net/document/4yrjj1jq-principles-of-modeling-with-petri-nets.html