Coloured Petri Nets - heftet, Engelsk, 2011