Petri-Net Simulator PNS



Implicit Functions:

1. Open Attribute Window of an Object:
--------------------------------------
    - Point at an object (place, ...)
    - CLICK-1

2. Move Places:
---------------
    - Point at a place
    - CLICK-3 and keep pressed
    - move place to destination
    - release CLICK-3

3. Move Transition:
-------------------
    - Point at a transition
    - CLICK-3 and keep pressed 
    - move transition to destination
    - with any keyboard button you can change the
      appearance of the transition
    - release CLICK-3    


Expicit Functions:

1. Menu FILE:
--------------
    1. NEW:
       Remove all objects from plane.

    2. LOAD:
       Load Net with Filebrowser:

       Select directory:
	    - point at directory and CLICK-1 or
	    - enter dirname in textline

       Select file:
	    - point at file and double CLICK-1 or
	    - enter filename in textline 
	    - point at file and CLICK-1 copy filename
	      to textline

    3. SAVE AS:
       Save Net with Filebrowser. You must specify 
       a filename.

    4. SAVE:
       Save Net directly if it has a name.

    5. QUIT:
       PNS terminates without questions.

2. Menu SETTINGS:
-----------------
    1. Simulationmode PARALLEL:
       In one step all activated transitions are firing.
       If one place put more than one transition in con-
       dition active, someone (MANUAL) or something 
       (RANDOMLY) has to decide in this branchconflict,
       which transition has permission to fire.

    2. Simulationmode SEQUENTIAL:
       In one step can only one transition fire.
       If more than one transition are in condition 
       active, one must be selected MANUAL or RANDOMLY.

    3. SHOW:
       Is this flag on ("S" in statusline), all
       firing transitions will be shown red for a
       moment.

3. HELP:
--------
    This text.

4. Button PLACE:
----------------
    Turns creating places on/off.
      - move pointer to destination
      - CLICK-1 place it or
      - CLICK-2 place it and opens additionaly the Attribute
        Window

    Attribute Window contains:
      - name (max 10 char)
      - token >= 0
      - breakcondition:
	    ('<' | '>' | '=' | '!') ( INT | 'a')
        The simulations stops, if condition is fulfilled.
	INT is a number >= 0, 'a' is the token before change
	(aback) and '!' means unequal.

4. Button TRANSITION:
---------------------
    Turns creating transitions on/off.
      - move pointer to destination
      - CLICK-3 change it's apearance
      - CLICK-1 place it or
      - CLICK-2 place it and additionaly opens the Attribute
        Window

    Attribute Window contains:
      - name (max 10 char)
      - priority 1..100 as percent
	If the firing transition in a conflict selected 
	RANDOMLY, priority influences the selection 
	propability. 

      - breakcondition ON/OFF:
        The simulations stops, when the trans are firing.

5. Button EDGE:
---------------
    Turns creating edges on/off.
      - select start node:
	  - move pointer to node (place or trans)
	  - CLICK-1
      - set edge fold:
	  - move pointer to destination
	  - CLICK-3
      - select end node:
	  - move pointer to node
	  - CLICK-1 draw line or 
	  - CLICK-2 draw line and additionaly opens the 
	    Attribute Window

    Attribute Window contains:
      - weight > 0
      - toggle buttons TO PLACE / TO TRANS / NEGATIVE
	change the direction/type of edge
       
6. Button DELETE:
-----------------
    Turns deleting of single objects on/off.
      - move pointer to object
      - CLICK-1
    Deleting a node removes also all dependent edges.

7. Button SAVE:
---------------
    Save Net directly if it has a name.
    
8. Button TOKEN TO MEMORY:
--------------------------
    Storage token of all places to memory. Will be done
    automatically after loading a netfile.

9. Button TOKEN FROM MEMORY:
----------------------------
    Load back storaged token to places and reset stepcounter.

10. Button STEP:
----------------
    Start Simulation.
      - single step  		CLICK-1
      - run 			CLICK-2
      - number of steps 	CLICK-3

    The simulation stops, when
      - net is dead
      - a breakcondition is fulfilled
      - CLICK-1 by user
    
11. Button LOOK:
----------------
    If one or more breakconditions are fulfilled, the 
    simulation stops and the determinated nodes will be
    marked red. This button 'unlocks' the break.



---------------------------------------------------------------
      Michael C. Ancutici, 1993

      UNIVERSITAET STUTTGART
      Fakultaet Informatik
      Institut fuer Parallele und 
      Verteilte Hoechstleistungsrechner
      Abteilung Bildverstehen

      Contact 
        Dr. Thomas Braeunl
        Universitaet Stuttgart, Fakultaet Informatik
        Postfach 10 60 37, D-7000 Stuttgart 10
        Germany

      Fax   :    (+49) 0711 7816-346
      E-mail:    braunl@informatik.uni-stuttgart.de
---------------------------------------------------------------