Abstract:
Behaviour of a model of discrete devices is studied. Modularity and redundancy are admissible. Several events can occur simultaneously. These assumptions permit studying a simpler image of the system rather than the system itself. Consequently, systems for which problems such as equivalence are solved can be of higher dimension.