1. Farewell and Renewal

   OriginalPaper 13 October 2005 Pages: 327 - 328

2. Editorial

   EditorialNotes 13 October 2005 Pages: 329 - 329

3. Introduction to WODES2004 Special Issue

   EditorialNotes 13 October 2005 Pages: 331 - 332

4. An Equivalent CTL Formulation for Condition Sequences

   • Jeffrey Ashley
   • Lawrence E. Holloway

   OriginalPaper 13 October 2005 Pages: 333 - 348

5. Control of Safe Ordinary Petri Nets Using Unfolding

   • Alessandro Giua
   • Xiaolan Xie

   OriginalPaper 13 October 2005 Pages: 349 - 373

6. Multitasking Supervisory Control of Discrete-Event Systems

   • Max H. de Queiroz
   • José E. R. Cury
   • W. M. Wonham

   OriginalPaper 13 October 2005 Pages: 375 - 395

7. A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems

   • Ahmed Khoumsi

   OriginalPaper 13 October 2005 Pages: 397 - 431

8. Optimal Control of Switching Surfaces in Hybrid Dynamical Systems

   • M. Boccadoro
   • Y. Wardi
   • E. Verriest

   OriginalPaper 13 October 2005 Pages: 433 - 448

9. Contributing Authors

   OriginalPaper 13 October 2005 Pages: 449 - 453