1. Preface by the section editor

   • Kurt Jensen

   Special section on the practical use of high-level Petri nets Pages: 369 - 371

2. Specification and validation of a concurrent system: an educational project

   • Gérard Berthelot
   • Laure Petrucci

   Special section on the practical use of high-level Petri nets Pages: 372 - 381

3. Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods

   • Leo Ojala
   • Nisse Husberg
   • Teemu Tynjälä

   Special section on the practical use of high-level Petri nets Pages: 382 - 393

4. Executable Petri net models for the analysis of metabolic pathways

   • Hartmann Genrich
   • Robert Küffner
   • Klaus Voss

   Special section on the practical use of high-level Petri nets Pages: 394 - 404

5. Web-based interfaces for simulation of coloured Petri net models

   • Bo Lindstrom

   Special section on the practical use of high-level Petri nets Pages: 405 - 416

6. Implementing compositionality for stochastic Petri nets

   • S. Bernardi
   • S. Donatelli
   • A. Horváth

   Special section on the practical use of high-level Petri nets Pages: 417 - 430

7. Generating an action notation environment from Montages descriptions

   • Matthias Anlauff
   • Samarjit Chakraborty
   • Lothar Thiele

   Regular contribution Pages: 431 - 455

8. Easy concurrency

   • Alex Aizman

   Regular contribution Pages: 456 - 468

9. Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k

   • David P.L. Simons
   • Mariëlle I.A. Stoelinga

   Special section on the practical use of high-level Petri nets Pages: 469 - 485

10. The Petri Net Kernel An infrastructure for building Petri net tools

    • Ekkart Kindler
    • Michael Weber

    Regular contribution Pages: 486 - 497