I'm working on a package for maria, a reachability analyzer for concurrent systems that uses Algebraic System Nets, as requested in RFP, bug #146320. URL: http://www.tcs.hut.fi/maria/ Licence: GPL v2 I will split off three binary packages: - maria, containing the core - maria-doc, containing doc in info and html - maria-viz, containing the interface with the (non-free) graphviz graph visualiser. maria-viz will go into contrib, this allows maria to stay in main. -Ralf. --