The FreeBSD Ports Archive

FreeBSD net : danamics

Petri Net editor for correctness and performance analysis

 The DaNAMiCS project is to build a Petri Net editor that allows for
both correctness and performance analysis.  The performance analysis
will be performed by Steady State anaylsis and by simulation.

DaNAMiCS will also include support for Inhibitor Arcs.  This will
allow for priorities to be modelled and will increase the modelling
power of Petri Nets to that of Turing Machines.  DaNAMiCS will also
enable the user to model with Coloured Tokens, which greatly reduce
the complexity of the resultant nets.  

danamics history

v. 1.6
date: 2007/05/19 20:18:19;  author: flz;  state: Exp;  lines: +1 -1
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

v. 1.5
date: 2005/02/03 21:31:44;  author: hq;  state: Exp;  lines: +19 -16
- Update to bsd.java.mk 2.0
- Install in DATADIR=${JAVASHAREDIR}/${PORTNAME}
- Improve launcher shell script (switch to javavmwrapper 2.0)
- Improve the dynamic plist
- CP -> INSTALL_DATA
- Bump PORTREVISION

v. 1.4
date: 2004/02/22 02:09:14;  author: kris;  state: Exp;  lines: +1 -1
Reset bouncing maintainer address

v. 1.3
date: 2004/01/22 11:06:01;  author: trevor;  state: Exp;  lines: +0 -2
Use the SORT macro from bsd.port.mk.

v. 1.2
date: 2003/07/05 19:01:40;  author: marcus;  state: Exp;  lines: +7 -7
Generate plist either statically or before do-install phase for
compatibility with upcoming bsd.port.mk patches.

Submitted by:	Sergey Matveychuk 

v. 1.1
date: 2003/04/18 06:58:36;  author: edwin;  state: Exp;
new port: net/danamics 1.1

	The DaNAMiCS project is to build a Petri Net editor that
	allows for both correctness and performance analysis.  The
	performance analysis will be performed by Steady State
	anaylsis and by simulation.

	DaNAMiCS will also include support for Inhibitor A
v. 1.6
date: 2007/05/19 20:18:19;  author: flz;  state: Exp;  lines: +1 -1
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

v. 1.5
date: 2005/02/03 21:31:44;  author: hq;  state: Exp;  lines: +19 -16
- Update to bsd.java.mk 2.0
- Install in DATADIR=${JAVASHAREDIR}/${PORTNAME}
- Improve launcher shell script (switch to javavmwrapper 2.0)
- Improve the dynamic plist
- CP -> INSTALL_DATA
- Bump PORTREVISION

v. 1.4
date: 2004/02/22 02:09:14;  author: kris;  state: Exp;  lines: +1 -1
Reset bouncing maintainer address

v. 1.3
date: 2004/01/22 11:06:01;  author: trevor;  state: Exp;  lines: +0 -2
Use the SORT macro from bsd.port.mk.

v. 1.2
date: 2003/07/05 19:01:40;  author: marcus;  state: Exp;  lines: +7 -7
Generate plist either statically or before do-install phase for
compatibility with upcoming bsd.port.mk patches.

Submitted by:	Sergey Matveychuk 

v. 1.1
date: 2003/04/18 06:58:36;  author: edwin;  state: Exp;
new port: net/danamics 1.1

	The DaNAMiCS project is to build a Petri Net editor that
	allows for both correctness and performance analysis.  The
	performance analysis will be performed by Steady State
	anaylsis and by simulation.

	DaNAMiCS will also include support for Inhibitor A
v. 1.6
date: 2007/05/19 20:18:19;  author: flz;  state: Exp;  lines: +1 -1
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

v. 1.5
date: 2005/02/03 21:31:44;  author: hq;  state: Exp;  lines: +19 -16
- Update to bsd.java.mk 2.0
- Install in DATADIR=${JAVASHAREDIR}/${PORTNAME}
- Improve launcher shell script (switch to javavmwrapper 2.0)
- Improve the dynamic plist
- CP -> INSTALL_DATA
- Bump PORTREVISION

v. 1.4
date: 2004/02/22 02:09:14;  author: kris;  state: Exp;  lines: +1 -1
Reset bouncing maintainer address

v. 1.3
date: 2004/01/22 11:06:01;  author: trevor;  state: Exp;  lines: +0 -2
Use the SORT macro from bsd.port.mk.

v. 1.2
date: 2003/07/05 19:01:40;  author: marcus;  state: Exp;  lines: +7 -7
Generate plist either statically or before do-install phase for
compatibility with upcoming bsd.port.mk patches.

Submitted by:	Sergey Matveychuk 

v. 1.1
date: 2003/04/18 06:58:36;  author: edwin;  state: Exp;
new port: net/danamics 1.1

	The DaNAMiCS project is to build a Petri Net editor that
	allows for both correctness and performance analysis.  The
	performance analysis will be performed by Steady State
	anaylsis and by simulation.

	DaNAMiCS will also include support for Inhibitor Arcs.  This
	will allow for priorities to be modelled and will increase
	the modelling power of Petri Nets to that of Turing Machines.
	DaNAMiCS will also enable the user to model with Coloured
	Tokens, which greatly reduce the complexity of the resultant
	nets.

	WWW: http://www.cs.uct.ac.za/Research/DNA/DaNAMiCS/

PR:		ports/50108
Submitted by:	Matthew West 
=============================================================================