Computer ScienceEngineering

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

K. Jensen, L. Kristensen, Lisa Wells

2007.5.31International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-007-0038-x

tlooto Summary

Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role and CPN Tools is an industrial-strength computer tool for constructing and analysed CPN models.

Abstract

Abstract is not available.

Citation format

JENSEN, K.; KRISTENSEN, L.; WELLS, Lisa. Coloured petri nets and CPN tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer, 2007, 9: 213–254.