PEPS Project
User's Guide
Contact Us

Compile SAN

This module implements a compiler for textual model description.  The compiler recognizes the formalism to describe a textual SAN model and generates the Full Markovain Descriptor files.

More information about the SAN textual formalism and this module are in Chapter 4 in PEPS2007 manual.

Model examples :

  • Resource Sharing - resource sharing model, where N processes share R resources.
  • First Available Server - implements a queue where a client is served by the first available server.
  • Mixed Queueing Network - describe a classical mixed queueing network.

Module Download: