Preface by the section editor Kurt Jensen Special section on the practical use of high-level Petri nets Pages: 369 - 371
Specification and validation of a concurrent system: an educational project Gérard BerthelotLaure Petrucci Special section on the practical use of high-level Petri nets Pages: 372 - 381
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods Leo OjalaNisse HusbergTeemu Tynjälä Special section on the practical use of high-level Petri nets Pages: 382 - 393
Executable Petri net models for the analysis of metabolic pathways Hartmann GenrichRobert KüffnerKlaus Voss Special section on the practical use of high-level Petri nets Pages: 394 - 404
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
Implementing compositionality for stochastic Petri nets S. BernardiS. DonatelliA. Horváth Special section on the practical use of high-level Petri nets Pages: 417 - 430
Generating an action notation environment from Montages descriptions Matthias AnlauffSamarjit ChakrabortyLothar Thiele Regular contribution Pages: 431 - 455
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k David P.L. SimonsMariëlle I.A. Stoelinga Special section on the practical use of high-level Petri nets Pages: 469 - 485
The Petri Net Kernel An infrastructure for building Petri net tools Ekkart KindlerMichael Weber Regular contribution Pages: 486 - 497