A Graphical Petri Nets Simulator - Rochester Institute of Technology

3. Functional Specification
The GPNS is a software package for Petri Net simulation. It provides a
graphical net editor, a simulator and a tool, the Auxiliary Application
Program(AAP). The GPNS has been implemented on the basis of a graphical
interface, pop-up menus and with mouse as a pointing device. It can be used to
simulate Place / Transition nets. Depending on the user's application, the net
can be either k-bounded,
enhancing the analyzing ability ofGPNS.
weighted or both. The AAP is an optional tool for
This section is an overview of GPNS. To get a more clear idea of
GPNS's functions and how to use GPNS, the user should refer to the USER'S
MANUAL in the appendix.
3.1 Net Editor
The net editor allows the user to construct a Petri Net on the screen.
Because it is a one-screen net editor, the Petri Net is limited to a small size of
at most 30 places and 30 transitions.
Most of the time, the mouse is used as the input device to draw the net
and issue the commands; Occasionally, keyboard will be used to input the text
information required by GPNS.
GPNS provides seven editing modes
- Select,
Text, Place, Transition,
Arcs, Token and Erase, to let the user construct a Petri Net on the screen.
The user can change the current editing mode by selecting the symbol which
represents the desired editing mode in the panel. Then, the user uses the
mouse to specify the location on the user area where the function is to be
performed.
Select select a graphic icon to be the currently active icon, so the
user can move it or set its properties.
-21