https://5dok.net/document/y6eo06o5-generation-of-database-transactions-with-petri-nets.html