Jensen, Kurt Coloured petri nets / Kurt Jensen - 2nd. ed. - Berlin : Springer, 1997 - 234 p.; 24 cm. v. 1: Basic concepts, analysis methods and practical use Universal Decimal Class. No.: 519.688