Bug 50108

Summary: new port: net/danamics 1.1
Product: Ports & Packages Reporter: Matthew West <mwest>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.shar none

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 freebsd_triage 2003-04-18 07:58:40 UTC 
State Changed
From-To: open->closed

Commited, thanks!