Modeling and Control of Logical Discrete Event Systems