9th PNPM 2001: Aachen, Germany

Invited paper

Application studies

Analysis of Large Models

Reachability Graph Construction

Non-Markovian and Fluid Models

Formal Foundation

Timed Nets

Modeling Frameworks and Tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics