mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
d456fae5c5
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>
15 lines
583 B
Plaintext
15 lines
583 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/
|
|
|
|
--
|
|
mwest@uct.ac.za
|