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

by L Michael Kristensen, L Wells
Venue:International Journal of Software Tools Technology Transfer