Coloured Petri Nets - heftet, Engelsk, 2010