summaryrefslogtreecommitdiff
path: root/x11/xpns/pkg/DESCR
diff options
context:
space:
mode:
Diffstat (limited to 'x11/xpns/pkg/DESCR')
-rw-r--r--x11/xpns/pkg/DESCR29
1 files changed, 29 insertions, 0 deletions
diff --git a/x11/xpns/pkg/DESCR b/x11/xpns/pkg/DESCR
new file mode 100644
index 00000000000..f81cee25a9d
--- /dev/null
+++ b/x11/xpns/pkg/DESCR
@@ -0,0 +1,29 @@
+PNS
+---
+Is a public domain Petri net simulation tool
+for Unix systems.
+PNS is a graphics tool and requires the X window system.
+see also www-page:
+http://www.informatik.uni-stuttgart.de/ipvr/bv/pns/pns.html
+
+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