summaryrefslogtreecommitdiff
path: root/misc/xpns
diff options
context:
space:
mode:
authorTrevor Johnson <trevor@FreeBSD.org>2004-04-10 17:11:02 +0000
committerTrevor Johnson <trevor@FreeBSD.org>2004-04-10 17:11:02 +0000
commitf844f89eae41ff16153dc2b25c0706c6dffbd205 (patch)
tree5c623b2396dd5d45381df003d7c24921239c9eaa /misc/xpns
parentAdd kino. (diff)
Cram into 80 columns by 24 rows.
Notes
Notes: svn path=/head/; revision=106669
Diffstat (limited to 'misc/xpns')
-rw-r--r--misc/xpns/pkg-descr16
1 files changed, 4 insertions, 12 deletions
diff --git a/misc/xpns/pkg-descr b/misc/xpns/pkg-descr
index a5e5db770587..023ab7bff10d 100644
--- a/misc/xpns/pkg-descr
+++ b/misc/xpns/pkg-descr
@@ -1,29 +1,21 @@
-PNS
----
-Is a public domain Petri net simulation tool
-for Unix systems.
-PNS is a graphics tool and requires the X window system.
-
-WWW: http://www.ee.uwa.edu.au/~braunl/pns/
+PNS is a public domain Petri net simulation tool for Unix systems. It requires
+the X Window System.
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
+
+WWW: http://www.ee.uwa.edu.au/~braunl/pns/