1. Guest Editorial

   • Alesssandro Giua
   • Rein Smedinga
   • Jan H. van Schuppen

   Editorial Introduction Pages: 5 - 5

2. Structuring Acyclic Petri Nets for Reachability Analysis and Control

   • G. Stremersch
   • R. K. Boel

   OriginalPaper Pages: 7 - 41

3. Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks

   • Laurence Rozé
   • Marie-Odile Cordier

   OriginalPaper Pages: 43 - 81

4. Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations

   • Thomas Moor
   • Jörg Raisch
   • Siu O'Young

   OriginalPaper Pages: 83 - 107

5. Evaluation and Optimization of Two-Stage Continuous Transfer Lines Subject to Time-Dependent Failures

   • Xiaolan Xie

   OriginalPaper Pages: 109 - 122