Hide/Show Apps

State attraction under language specification for the reconfiguration of discrete event systems