misc/xpns/pkg-descr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

PNS is a public domain Petri net simulation tool for Unix systems.  It 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

WWW: http://robotics.ee.uwa.edu.au/pns/