List of Figures. List of Tables. Foreword. Preface. 1. Introduction. 2. Petri Nets. 3. Invariant Based Control Design. 4. Uncontrollable...