New Results on Testing Modularity of Local Supervisors using Abstractions

This paper presents a variation of the methodology, established in a previous paper, to test a modular system for nonconflict using abstractions of its supervisors. In this work, information about the model and control structure of the system are used to derive a solution where some of the conditions established before are not required. The local modular approach is used to design the supervisors and supervisor reduction techniques are also used to help defining the set of events that are kept in the abstractions.