Performance analysis of communication systems : modeling with non-Markovian stochastic Petri nets

Petri nets are used for modelling systems with concurrency such as traffic flow within communication systems. Stochastic petri nets have become popular for the model description of tools used for performance analysis. Introducing the analysis techniques and algorithms used in performance evaluation with non-Markovian stochastic petri nets, this volume takes a systematic approach with clear presentation. Each definition, concept and algorithm presented is accompanied by an example to clarify its use.