PakCat catalogue record Coloured Petri Nets Basic Concepts,Analysis Methods and Practical Use Vol-1 By Jensen Kurt Bibliographic details ISBN3540609431 PublisherSpringer Publication placeGermany Publication year1997 LanguageEnglish Material typeBook