Gaphor is a UML modeling environment written in Python. Gaphor is small and very extensible.
The repository is located at http://github.com/gaphor/gaphor.
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)