Stochastic Petri Nets Springer Series in Operations Research and Financial Enginee | lit.salon