Application of Petri Nets to Communication Networks 1999

Functional Modelling and Analysis

System Evaluation Using Timed Petri Nets

Performance Analysis with Stochastic Petri Nets

a service of Schloss Dagstuhl - Leibniz Center for Informatics