2004-04-10 19:11:02 +02:00
|
|
|
PNS is a public domain Petri net simulation tool for Unix systems. It requires
|
|
|
|
|
the X Window System.
|
1997-06-24 08:07:27 +02:00
|
|
|
|
|
|
|
|
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
|
2004-04-10 19:11:02 +02:00
|
|
|
|
2005-09-05 13:43:26 +02:00
|
|
|
WWW: http://robotics.ee.uwa.edu.au/pns/
|
