Forschungsberichte TU München, Report Nr. TUM-I 8805., 1988.
Abstract: By an implementation of a Petri net (place/transition system) we understand an algorithm which carries out the occurrence of the transitions in accordance with the available tokens, ie an algorithm which executes the token game. In this paper fundamental studies are made, how such an implementation can be carried out in a distributed manner.