Notes on 'Modeling the dynamics of concurrent computing systems'

摘要

The quasi-pseudometric d_(is contained in) expresses the difference between each ordered pair of elements belonging to p({0, 1}~n). Actually, it is equal to 0 when the first set is a subset of the second one. So, we could define kinds of quasi-pseudoperiodic orbit or quasi-pseudofixed point, which are in fact periodic or fixed orbits considering the quasi-pseudometric d_(is contained in). This infers a new possibility in the study of the dynamics, because when the evolution of the initial set arrives at a subset of it, we have the future evolution under control. Nevertheless, describing the orbit structure of a given Petri net seems difficult. Obviously, one could count all the diverse orbits, but, for a state space big enough, this could be very hard.