Index of /ports_net/danamics

Icon  Name                    Last modified      Size  
[DIR] Parent Directory                             -   
[   ] Makefile                27-Jun-2008 15:17  1.3K  
[   ] distinfo                25-Nov-2005 19:48  193   
[DIR] files/                  25-Dec-2006 04:05    -   
[TXT] pkg-descr               19-Jan-2010 08:33  562   

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/