https://123dok.net/document/zkw19j11-timed-transition-system-models-for-programming-physarum-machines.html