Bug 50108 - new port: net/danamics 1.1
Summary: new port: net/danamics 1.1
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: freebsd-ports-bugs (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-03-18 23:30 UTC by Matthew West
Modified: 2003-04-18 07:58 UTC (History)
0 users

See Also:


Attachments
file.shar (2.67 KB, text/plain)
2003-03-18 23:30 UTC, Matthew West
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
Description Matthew West 2003-03-18 23:30:13 UTC
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/
Comment 1 Edwin Groothuis freebsd_committer 2003-04-18 07:58:40 UTC
State Changed
From-To: open->closed

Commited, thanks!