Bøger af Reinhard (Technische University Berlin German

Petri nets are used for modelling systems with concurrency such as traffic flow within communication systems. This text introduces the analysis techniques and algorithms used in performance evaluation with non-Markovian stochastic petri nets, taking a systematic approach.