Jensen K. Coloured petri nets : modelling and validation of concurrent systems / K. Jensen, L. M. Kristensen, 2009 r=on-line. - Текст : электронный.