1. Welcome Announcement

   Announcement 09 February 2013 Pages: 1 - 1

2. An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

   • Mi Zhao
   • Yifan Hou

   OriginalPaper 13 December 2011 Pages: 3 - 26

   

3. Using logic to solve the submodule construction problem

   • Gregor v. Bochmann

   OriginalPaper 28 January 2012 Pages: 27 - 59

   

4. A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization

   • Wen-Chiao Lin
   • Humberto E. Garcia
   • Tae-Sic Yoo

   OriginalPaper 12 February 2012 Pages: 61 - 91

   

5. A functional approximation for the M/G/1/N queue

   • Karim Abbas
   • Bernd Heidergott
   • Djamil Aïssani

   OriginalPaper Open access 14 April 2012 Pages: 93 - 104