2 Modeling primitives


A. Törn - Contents - - Previous chapter - Next chapter - - Previous page - Next page

2.6 SimNet, a model checking tool

The tool is available on the unix machines and you get access to the tool by entering the following at the prompt line:
~fschoult/usr/bin/SimNet
Entering a net for simulation is made either by giving the name of the file containing the net or by directly entering the lines constituting the net.

Once entered you may prepare a run by asking for trace and/or statistics collection, and state the running time.

We will not here in detail explain the use of SimNet, you will find the details in the course folder, we only show the input form of the simple job-shop model.

        ! Simple job-shop model 

        Net: Jobshop

        Trans: Gen   nexp 5.0
              Inpl : G  1  1

              Outpl: G  1  1
                     Q  1  0

        Trans: Serv  cnst 5.0
              Inpl : Q  1  0
                     S  1  1

              Outpl: S  1  1
                     SI 1  0
The first line is a comment. Net, Trans, Inpl :, and Outpl: are reserved words and should not be used as names. The words nexp, const are used to refer to the negative exponential respective the constant distribution.

There should be an empty line after each end of in-places and out-places. The first constant after a place denotes the number of tokens consumed or deposited (for an inhibitor arc: 0) and the second the marking in the initial state.