README for Petri-Net Simulator PNS ================================== see also www-page: https://www.ee.uwa.edu.au/~braunl/pns/pns.html PNS --- Is a public domain Petri net simulation tool for Unix workstations or PCs running Linux. PNS is a graphics tool and requires the X window system. Installing PNS: --------------- - uncompress and un-tar the distribution file - move the files pns.hlp, pns.shell, and xpns to your "cmd" directory - move the file pns to your "in" directory - type "rehash" - edit the file "xpns": it should contain the path of your "cmd" directory: -------------------------- #!/bin/tcsh setenv XAPPLRESDIR my_cmd/ pns -------------------^^^^^^- Starting PNS ------------ - enter directory - type "xpns" or: "setenv XAPPLRESDIR my_cmd/" "pns" Compiling PNS for other Computer Systems ---------------------------------------- Use Makefile: - make pns compiles and links PNS using gcc. - make clean removes all object and backup files - make cps "d=/temp" CoPy Source: copy all source files to a directory - make cpe "d=/temp" CoPy Executable: copy only important files Files: ------ - pns program - pns.hlp help file - pns.shell Resource file contains informations about colour, keys ... - xpns Set XAPPLRESDIR and start pns Examples: --------- - simple.net 3-2 Reduction - add.net x = x + y - sub1.net x >= y : x = x - y x < y : y = y - x - sub2.net x = x - y NEGATIVE = 1 <=> x-y < 0 - mult.net z = x * y - phil.net Dining Philosophers Problem NOTICE ------ The PNS software package is licensed free of charge. Therefore, we provide absolutely no warranty of any kind in any case. The Universitaet Stuttgart and the authors provide the PNS software package "as is" without warranty of any kind, either expressed or implied, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose. The entire risk as to the quality and the performance of the program is with you. Should the PNS software package prove defective, you assume the cost of all necessary servicing, repair or correction. In no event may the Universitaet Stuttgart or any of the programs' authors be liable to you for damages, including any lost profits, lost monies, or other special, incidental or consequential damages arising out of the use or inability to use (including but not limited to loss of data or data being rendered inaccurate or losses sustained by third parties or a failure of the program to operate with programs not included in the PNS software package) the program, even if you have been advised of the possibility of such damages, or for any claim by any other party. ------------------------------------------------------------------------------- Thanks to Roman TSAI from the UK for compiling the Sun SPARC X11R4 version. ------------------------------------------------------------------------------- CONTACT ------- Michael Ancutici Thomas Braunl ________________________________________________________________________ Thomas Braunl Dept. of Electrical & Electronic Engineering phone +61 8 9380-1763 The University of Western Australia fax +61 8 9380-1168 Nedlands, Perth, WA 6907, Australia https://www.ee.uwa.edu.au/~braunl ________________________________________________________________________