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/
remove unmaintained expired ports from net
2011-05-01 net/44bsd-rdist: Upstream disapear and distfile is no more available
2011-05-01 net/bbsnet: Upstream disapear and distfile is no more available
2011-05-01 net/bing: Upstream disapear and distfile is no more available
2011-05-01 net/brutecopy: Upstream disapear and distfile is no more available
2011-05-01 net/crescendo: Upstream disapear and distfile is no more available
2011-05-01 net/danamics: Upstream disapear and distfile is no more available
2011-05-01 net/etunnel: Upstream disapear and distfile is no more available
2011-05-01 net/gastman: Upstream disapear and distfile is no more available
2011-05-01 net/generic-nqs: Upstream disapear and distfile is no more available
2011-05-01 net/gkrellmmultiping2: Upstream disapear and distfile is no more
available
2011-05-01 net/gkrellmwireless: Upstream disapear and distfile is no more
available
2011-05-01 net/gnoemoe: Upstream disapear and distfile is no more available
2011-05-01 net/gnosamba: Upstream disapear and distfile is no more available
(Only the first 15 lines of the commit message are shown above )
For ports maintained by ports@FreeBSD.org, remove names and/or
e-mail addresses from the pkg-descr file that could reasonably
be mistaken for maintainer contact information in order to avoid
confusion on the part of users looking for support. As a pleasant
side effect this also avoids confusion and/or frustration for people
who are no longer maintaining those ports.
Bump portrevision due to upgrade of devel/gettext.
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav)
Generate plist either statically or before do-install phase for
compatibility with upcoming bsd.port.mk patches.
Submitted by: Sergey Matveychuk <sem@ciam.ru>
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>