freebsd-ports/misc/xpns/pkg-descr

PNS
---
Is a public domain Petri net simulation tool
for Unix systems.
PNS is a graphics tool and requires the X window system.

WWW: 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
New port, xpns: Petri-Net Simulator for Xwindows PR: 3250 Submitted by: Pedro Giffuni S. <pgiffuni@FPS.biblos.unal.edu.co> 1997-06-24 06:07:27 +00:00			`PNS`
			`---`
			`Is a public domain Petri net simulation tool`
			`for Unix systems.`
			`PNS is a graphics tool and requires the X window system.`
Add WWW: 1999-05-03 05:37:34 +00:00
			`WWW: http://www.informatik.uni-stuttgart.de/ipvr/bv/pns/pns.html`
New port, xpns: Petri-Net Simulator for Xwindows PR: 3250 Submitted by: Pedro Giffuni S. <pgiffuni@FPS.biblos.unal.edu.co> 1997-06-24 06:07:27 +00: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`