blob: f81cee25a9d818b9505eaeafe2b7db7fb1da9609 (
plain)
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.
see also www-page:
http://www.informatik.uni-stuttgart.de/ipvr/bv/pns/pns.html
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
|
