1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-13 03:03:15 +00:00
freebsd-ports/misc/xpns/pkg-descr
Doug Barton 974942c355 Update URL
Submitted by:	Ralf Valerien <ralf@math.uni-bonn.de>
2005-09-05 11:43:26 +00:00

22 lines
385 B
Plaintext

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/