1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-07 02:06:57 +00:00
freebsd-ports/misc/xpns/pkg-descr

30 lines
420 B
Plaintext
Raw Normal View History

PNS
---
Is a public domain Petri net simulation tool
for Unix systems.
PNS is a graphics tool and requires the X window system.
1999-05-03 05:37:34 +00:00
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