"Coloured Petri Nets modeling and validation of concurrent systems" - читать интересную книгу автора (Kurt Jensen, Lars M. Kristensen)