1. A verification tool developer’s vade mecum

   • Perdita Stevens

   The opinion corner Pages: 89 - 94

2. Preface by the Section Editor: Kurt Jensen

   • Kurt Jensen

   Special section on coloured Petri nets Pages: 95 - 97

3. The practitioner’s guide to coloured Petri nets

   • Lars M. Kristensen
   • Soren Christensen
   • Kurt Jensen

   Special section on coloured Petri nets Pages: 98 - 132

4. Analyzing the execution architecture of mobile phone software with colored Petri nets

   • Jianli Xu
   • Juha Kuusela

   Special section on coloured Petri nets Pages: 133 - 143

5. Analysing a missile simulator with coloured Petri nets

   • Steven Gordon
   • Jonathan Billington

   Special section on coloured Petri nets Pages: 144 - 159

6. Analysing a mechatronic system with coloured Petri nets

   • Gilles Moncelet
   • Søren Christensen
   • José Porras

   Special section on coloured Petri nets Pages: 160 - 167

7. Creating executable models of influence nets with colored Petri nets

   • Lee W. Wagenhals
   • Insub Shin
   • Alexander H. Levis

   Special section on coloured Petri nets Pages: 168 - 181

8. Analysing superscalar processor architectures with coloured Petri nets

   • F.P. Burns
   • A.M. Koelmans
   • A.V. Yakovlev

   Special section on coloured Petri nets Pages: 182 - 191

9. The Code Validation Tool (CVT)

   • A. Pnueli
   • O. Shtrichman
   • M. Siegel

   Regular contribution Pages: 192 - 201

10. Integrating printed and online information

    • Thomas Friese
    • Tiziana Margaria
    • Alfred Hofmann

    Technical innovation Pages: 202 - 202