The directory Petri Net models
contains the .net files for use with the PNS Petri Net
simulator. To allow for a quick glance, screen grabs in GIF format are
included for each of the models.
Java as well as C sources of the PNS Petri Net simulator
can be obtained from the
PNS modeller/simulator website.
I have installed ``xpns'' on the SOCS Sun servers (nova, mimi, ...).
You only need to type (or put in your .rc files)
alias xpns /net/u1/prof/hv/PNS/xpnsIf you install from the C sources, these are the steps to follow (thanks to Hesheng Chen for trying it out):
i) In the section "OPTION SUN" change -L/usr/local/X11R5/lib to -L/usr/X11R6/lib ii) in the section "COMPILER UND LINKER" change "B = gcc-2.3.3 $O -o" to "B = gcc $O -o" change "CC = gcc-2.3.3 $O $I" to "CC = gcc $O $I"
#!/bin/csh setenv XAPPLRESDIR /usr/local/src/PNS/ $XAPPLRESDIR/pns
From then on, just type xpns. Don't forget to set ``Sequential Manual''
simulation mode to get insight into the dynamics.