Jensen, Kurt Coloured petri nets : basic concepts, analysis methods, and practical use Kurt Jensen - Berlin ; New York Springer-Verlag c1992-c1997 - 3 v. : ill. ; 24 cm Contents : v. 1. -- v. 2. -- v. 3. Includes bibliographical references and indexes ISBN: 3540555978 (v. 1) -- 3540582762 (v. 2) -- 3540628673 (v. 3) ISSN: 92227749 Subjects--Topical Terms: Petri nets Dewey Class. No.: 511.5 JEN