1. Special section on coloured Petri nets

   • Kurt Jensen

   Preface 24 May 2007 Pages: 209 - 212

2. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

   • Kurt Jensen
   • Lars Michael Kristensen
   • Lisa Wells

   Special Section CPN 04/05 13 March 2007 Pages: 213 - 254

3. Formal specification and state space analysis of an operational planning process

   • Brice Mitchell
   • Lars Michael Kristensen
   • Lin Zhang

   Special Section CPN 04/05 22 February 2007 Pages: 255 - 267

4. Modelling and analysing the functional behaviour of TCP’s connection management procedures

   • Jonathan Billington
   • Bing Han

   Special Section CPN 04/05 21 March 2007 Pages: 269 - 304

5. Verification of the Capability Exchange Signalling protocol

   • Lin Liu
   • Jonathan Billington

   Special Section CPN 04/05 17 March 2007 Pages: 305 - 326

6. Modelling work distribution mechanisms using Colored Petri Nets

   • Maja Pesic
   • Wil M. P. van der Aalst

   Special Section CPN 04/05 Open access 14 March 2007 Pages: 327 - 352

7. Requirements Validation: Execution of UML Models with CPN Tools

   • Ricardo J. Machado
   • Kristian Bisgaard Lassen
   • Patrícia Pinto

   Special Section CPN 04/05 13 March 2007 Pages: 353 - 369

8. Checking safety properties on-the-fly with the sweep-line method

   • Guy Edward Gallasch
   • Jonathan Billington
   • Lars Michael Kristensen

   Special Section CPN 04/05 02 March 2007 Pages: 371 - 391

9. Modular state space exploration for timed petri nets

   • C. Lakos
   • L. Petrucci

   Special Section CPN 04/05 08 March 2007 Pages: 393 - 411

10. Widening operators for powerset domains

    • Roberto Bagnara
    • Patricia M. Hill
    • Enea Zaffanella

    Publisher's Erratum 27 February 2007 Pages: 413 - 414