Date: Thu, 17 Apr 2003 23:58:36 -0700 (PDT) From: Edwin Groothuis <edwin@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/net Makefile ports/net/danamics Makefile distinfo pkg-descr ports/net/danamics/files danamics.sh Message-ID: <200304180658.h3I6wavB035896@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
edwin 2003/04/17 23:58:36 PDT
FreeBSD ports repository
Modified files:
net Makefile
Added files:
net/danamics Makefile distinfo pkg-descr
net/danamics/files danamics.sh
Log:
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 <mwest@uct.ac.za>
Revision Changes Path
1.969 +1 -0 ports/net/Makefile
1.1 +43 -0 ports/net/danamics/Makefile (new)
1.1 +1 -0 ports/net/danamics/distinfo (new)
1.1 +3 -0 ports/net/danamics/files/danamics.sh (new)
1.1 +14 -0 ports/net/danamics/pkg-descr (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200304180658.h3I6wavB035896>