Paper

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

K. Jensen, L.M. Kristensen, and L. Wells, ¿Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems,¿ International Journal on Software Tools for Technology Transfer, vol. 9, Mar. 2007, pp. 213-254.

2007

Created by Quid Worker - DBLP Web Parser at 2014-12-22 20:36:27.0.
Last updated by ACM worker at 2019-04-11 19:46:06.0.
Simplified Graph of Associations
Word Cloud
Quid