C Y wrote: > I'm sure I missed a few. Anyway, certainly enough to start :-). > Well -- if we're going to get *that* specialized <weg>, how about adding "maria" (which is in Debian -- it's a Petri net reachability analyzer), the PEPA Workbench (in Java ... most likely not in Debian), PRISM (http://www.cs.bham.ac.uk/~dxp/prism/download.php) and PDQ (http://perfdynamics.com).
Seriously, though, PRISM is a quite useful and magnificent piece of open-source work. Nearly all the other software in this domain (probabilistic model checking and Markov process modeling) is either commercial or tied up in an "academic (non-commercial)" non-free license of some kind. > Cheers, > CY > > __________________________________________________ > Do You Yahoo!? > Tired of spam? Yahoo! Mail has the best spam protection around > http://mail.yahoo.com > -- M. Edward (Ed) Borasky http://linuxcapacityplanning.com -- [email protected] mailing list
