You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
209-212
Preface
Special section on coloured Petri nets
Kurt Jensen
213-254
Special Section CPN 04/05
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Kurt Jensen, Lars Michael Kristensen and Lisa Wells
255-267
Formal specification and state space analysis of an operational planning process
Brice Mitchell, Lars Michael Kristensen and Lin Zhang
269-304
Modelling and analysing the functional behaviour of TCP’s connection management procedures
Jonathan Billington and Bing Han
305-326
Verification of the Capability Exchange Signalling protocol
Lin Liu and Jonathan Billington
327-352
Modelling work distribution mechanisms using Colored Petri Nets
Maja Pesic and Wil M. P. van der Aalst
353-369
Requirements Validation: Execution of UML Models with CPN Tools
Ricardo J. Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto and Patrícia Pinto
371-391
Checking safety properties on-the-fly with the sweep-line method
Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai and Lars Michael Kristensen
393-411
Modular state space exploration for timed petri nets
C. Lakos and L. Petrucci
413-414
Publisher's Erratum
Widening operators for powerset domains
Roberto Bagnara, Patricia M. Hill and Enea Zaffanella
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info