Port details |
- danamics Petri Net editor for correctness and performance analysis
- 1.1_3 net
=2 1.1_3Version of this port present on the latest quarterly branch.
- DEPRECATED: Upstream disapear and distfile is no more available
This port expired on: 2011-05-01
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2003-04-18 06:59:14
- Last Update: 2011-05-02 06:39:12
- SVN Revision: UNKNOWN
- People watching this port, also watch:: jdictionary, sablevm, saxon
- Also Listed In: java
- License: not specified in port
- WWW:
- http://www.cs.uct.ac.za/Research/DNA/DaNAMiCS/
- Description:
- 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/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: danamics
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Runtime dependencies:
-
- java : java/javavmwrapper
- java : java/jdk16
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 13
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
1.1_3 02 May 2011 06:39:12 |
bapt |
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 ) |
1.1_3 20 Mar 2011 12:54:45 |
miwi |
- Get Rid MD5 support |
1.1_3 14 Mar 2011 17:10:51 |
bapt |
Deprecate unmaintained ports from net where upstream disapear and/or
where no distfiles can be found and are not used by maintained ports |
1.1_3 21 Dec 2009 02:19:12 |
dougb |
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. |
1.1_3 06 Jun 2008 13:50:32 |
edwin |
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) |
1.1_2 19 May 2007 20:32:57 |
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
1.1_1 25 Nov 2005 16:48:31 |
pav |
- Add SHA256 |
1.1_1 03 Feb 2005 21:31:45 |
hq |
- 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 |
1.1 17 Mar 2004 18:29:46 |
trevor |
SIZEify. |
1.1 22 Feb 2004 02:09:15 |
kris |
Reset bouncing maintainer address |
1.1 22 Jan 2004 11:06:02 |
trevor |
Use the SORT macro from bsd.port.mk. |
1.1 05 Jul 2003 19:01:41 |
marcus |
Generate plist either statically or before do-install phase for
compatibility with upcoming bsd.port.mk patches.
Submitted by: Sergey Matveychuk <sem@ciam.ru> |
1.1 18 Apr 2003 06:58:36 |
edwin |
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> |
Number of commits found: 13
|