00583nam a22001457a 4500 0 0 0 0 GGL GGL 2022-06-22 Purchased: Multi-Line Books 10719.50 0 511.35 REI 80559 2022-06-22 00:00:00 1 BK 44663 44663 9783642332777 (hb) 511.35 REI Reisig, wolfgang Understanding petri nets : modeling techniques, analysis methods, case studies Berlin Springer 2013 xix. 230 p. : ill., Col., ; 24cm. Includes index and bibliography. Mathematics Petri nets Modeling techniques System analysis Elementary system State properties Marked graphs Asynchronous hardware Case studies RICAS BK