WebAPSEE is an open source project which aims to provide automated support for software process management. The users list is: http://groups.google.com/group/webapsee-usuarios
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)