diff options
| author | wiz <wiz> | 2000-09-03 14:56:44 +0000 |
|---|---|---|
| committer | wiz <wiz> | 2000-09-03 14:56:44 +0000 |
| commit | 476a4c509ebec8a26e5b63cdab94917278562556 (patch) | |
| tree | 940efae84705bc83d6140235f70fbef09e37e1aa /x11/xpns | |
| parent | 0fdb4f1ddce5e5dbdc585f9bba0938708084abc6 (diff) | |
| download | pkgsrc-476a4c509ebec8a26e5b63cdab94917278562556.tar.gz | |
reformat to < 25 lines
Diffstat (limited to 'x11/xpns')
| -rw-r--r-- | x11/xpns/pkg/DESCR | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/x11/xpns/pkg/DESCR b/x11/xpns/pkg/DESCR index ff7b0e6181d..25e4206204c 100644 --- a/x11/xpns/pkg/DESCR +++ b/x11/xpns/pkg/DESCR @@ -1,27 +1,19 @@ -PNS ---- -Is a public domain Petri net simulation tool -for Unix systems. +PNS is a public domain Petri net simulation tool for Unix systems. PNS is a graphics tool and 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 |