Gianfranco Balbo Review: Performance Modeling with Deterministic and Stochastic Petri Nets - Christoph Lindemann, Wiley-Interscience Series in Systems and Optimization, Wiley, New York, 1998, 405 pages, ISBN 0-471-97646-6. 143-146 2000 38 Sci. Comput. Program. 1-3 db/journals/scp/scp38.html#Balbo00