|
|
|
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:
|
|
|