1. Special section on Coloured Petri Nets—preface by the section editor: Kurt Jensen

   • Kurt Jensen

   Preface 11 December 2007 Pages: 1 - 3

2. Model-based development of a course of action scheduling tool

   • Lars M. Kristensen
   • Peter Mechlenborg
   • Guy E. Gallasch

   SPECIAL SECTION CPN 06 26 September 2007 Pages: 5 - 14

3. From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system

   • Jens Bæk Jørgensen
   • Kristian Bisgaard Lassen
   • Wil M. P. van der Aalst

   SPECIAL SECTION CPN 06 08 September 2007 Pages: 15 - 28

4. Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

   • Somsak Vanit-Anunchai
   • Jonathan Billington
   • Guy Edward Gallasch

   SPECIAL SECTION CPN 06 04 September 2007 Pages: 29 - 56

5. Discovering colored Petri nets from event logs

   • A. Rozinat
   • R. S. Mans
   • W. M. P. van der Aalst

   SPECIAL SECTION CPN 06 Open access 11 September 2007 Pages: 57 - 74

6. Modelling defence logistics networks

   • Guy Edward Gallasch
   • Nimrod Lilith
   • Benjamin Francis

   SPECIAL SECTION CPN 06 28 August 2007 Pages: 75 - 93

7. Protos2CPN: using colored Petri nets for configuring and testing business processes

   • F. Gottschalk
   • W. M. P. van der Aalst
   • H. M. W. Verbeek

   SPECIAL SECTION CPN 06 Open access 18 September 2007 Pages: 95 - 110