diff options
| author | wiz <wiz@pkgsrc.org> | 2000-09-03 14:56:44 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2000-09-03 14:56:44 +0000 |
| commit | e7cbf859c5d6b4fba39f081630f7ab46502179e8 (patch) | |
| tree | 940efae84705bc83d6140235f70fbef09e37e1aa | |
| parent | 01b8fa5c981c2c0bccd350766bc445855fdda5a7 (diff) | |
| download | pkgsrc-e7cbf859c5d6b4fba39f081630f7ab46502179e8.tar.gz | |
reformat to < 25 lines
| -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 |