Reconfigurable systems are the systems which can dynamically modify their own structure according to situations. In this paper, we introduce a two-level automaton to model reconfigurable discrete event systems. In the upper level, structural changes of the system is modeled while behavior of the system is represented in the lower level. We show the existence of the maximally permissive feedback in our model and propose an algorithm for its computation.
