https://123dok.net/document/qmwwxv8z-timed-continuous-petri-nets-optimization-linear-programming.html