C-model of a predator–prey growth in the ecological niche

The population of automata is a model of collective behavior of automata. Modeling of population dynamics is implemented by Causal Petri Net. Net places represent the states of automata. A net marking specifies the number of automata that are in corresponding states. Transitions represent events that result from the joint actions of the elements of a population. For each transition of the net, a value is specified defining the probability (rate) of the transition response, so a system of differential equations can be built. These equations describe the dynamics of the average number of automata in places while the logical conditions specified by Petri net are implemented. The numerical solution of the system is obtained using computer simulation.