aboutsummaryrefslogtreecommitdiffstats
path: root/misc/xpns/pkg-descr
blob: a5e5db770587612a431976a418f5253e444ae93c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
PNS
---
Is a public domain Petri net simulation tool
for Unix systems.
PNS is a graphics tool and requires the X window system.

WWW: http://www.ee.uwa.edu.au/~braunl/pns/

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