JENSEN, Kurt - KRISTENSEN, Lars Michael. Coloured Petri Nets : modelling and validation of concurrent systems. Berlin : Springer, c2009. ISBN 9783642002830.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.