One computer laser optical disk in pocket attached to inside cover.
Performance modelling with deterministic and stochastic Petri nets by Christoph Lindemann. ISBN 0471976466. Published by Wiley in 1998. Publication and catalogue information, links to buy online and reader comments.