Timed Transition System Models for Programming Physarum Machines

In the paper, we show that timed transition system models can be used as a high-level model of behavior of Physarum machines. A Physarum machine is a programmable amorphous biological computer experimentally implemented in the vegetative state of Physarum polycephalum. Timed transition system models have been used in our new object-oriented programming language for Physarum polycephalum computing.