9. 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

maintained by Schloss Dagstuhl LZI at University of Trier