JENSEN, Kurt - KRISTENSEN, Lars Michael. Coloured Petri nets : modelling and validation of concurrent systems. Softcover re-print of the hardcover 1st edition. Berlin ; Heidelberg : Springer, 2009. ISBN 978-3-642-42581-3.

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