Populations of interacting automata

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