Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems Kurt JensenLars Michael KristensenLisa Wells Special Section CPN 04/05 13 March 2007 Pages: 213 - 254
Formal specification and state space analysis of an operational planning process Brice MitchellLars Michael KristensenLin Zhang Special Section CPN 04/05 22 February 2007 Pages: 255 - 267
Modelling and analysing the functional behaviour of TCP’s connection management procedures Jonathan BillingtonBing Han Special Section CPN 04/05 21 March 2007 Pages: 269 - 304
Verification of the Capability Exchange Signalling protocol Lin LiuJonathan Billington Special Section CPN 04/05 17 March 2007 Pages: 305 - 326
Modelling work distribution mechanisms using Colored Petri Nets Maja PesicWil M. P. van der Aalst Special Section CPN 04/05 Open access 14 March 2007 Pages: 327 - 352
Requirements Validation: Execution of UML Models with CPN Tools Ricardo J. MachadoKristian Bisgaard LassenPatrícia Pinto Special Section CPN 04/05 13 March 2007 Pages: 353 - 369
Checking safety properties on-the-fly with the sweep-line method Guy Edward GallaschJonathan BillingtonLars Michael Kristensen Special Section CPN 04/05 02 March 2007 Pages: 371 - 391
Modular state space exploration for timed petri nets C. LakosL. Petrucci Special Section CPN 04/05 08 March 2007 Pages: 393 - 411
Widening operators for powerset domains Roberto BagnaraPatricia M. HillEnea Zaffanella Publisher's Erratum 27 February 2007 Pages: 413 - 414