2fadfa2cfb
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.
12 lines
562 B
Plaintext
12 lines
562 B
Plaintext
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/
|