Demetrix is a Java-based process modelling system. The goal of the project is to develop a flexible framework for managing complex process models using Petri-Net-oriented methodologies (state-task networks and resource-task networks).
Read here for more information about current state of development of demetrix.
For more information about demetrix, see the Docs section.
Demetrix @ SourceForge