1. Providing a formal linkage between MDG and HOL

   • Haiyan Xiong
   • Paul Curzon
   • Ann Blandford

   OriginalPaper 31 August 2006 Pages: 83 - 116

   

2. Designing communicating transaction processes by supervisory control theory

   • L. Feng
   • W. M. Wonham
   • P. S. Thiagarajan

   OriginalPaper 18 August 2006 Pages: 117 - 141

   

3. Verification of bounded Petri nets using integer programming

   • Victor Khomenko
   • Maciej Koutny

   OriginalPaper 31 August 2006 Pages: 143 - 176