diff options
Diffstat (limited to 'x11/xpns/pkg/DESCR')
-rw-r--r-- | x11/xpns/pkg/DESCR | 29 |
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 |