diff options
Diffstat (limited to 'x11/xpns/pkg')
-rw-r--r-- | x11/xpns/pkg/COMMENT | 1 | ||||
-rw-r--r-- | x11/xpns/pkg/DESCR | 29 | ||||
-rw-r--r-- | x11/xpns/pkg/PLIST | 14 |
3 files changed, 44 insertions, 0 deletions
diff --git a/x11/xpns/pkg/COMMENT b/x11/xpns/pkg/COMMENT new file mode 100644 index 00000000000..c6ba332b84b --- /dev/null +++ b/x11/xpns/pkg/COMMENT @@ -0,0 +1 @@ +Petri-Net Simulator for Xwindows 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 diff --git a/x11/xpns/pkg/PLIST b/x11/xpns/pkg/PLIST new file mode 100644 index 00000000000..e9f476cc6b9 --- /dev/null +++ b/x11/xpns/pkg/PLIST @@ -0,0 +1,14 @@ +lib/xpns/pns +lib/xpns/pns.hlp +lib/xpns/pns.shell +bin/xpns +share/doc/xpns/a.net +share/doc/xpns/a1.net +share/doc/xpns/add.net +share/doc/xpns/mult.net +share/doc/xpns/phil.net +share/doc/xpns/rw.net +share/doc/xpns/sub.net +share/doc/xpns/sub2.net +@dirrm share/doc/xpns +@dirrm lib/xpns |