JAGAL provides implementations for directed graphs (weighted and unweighted) and various types of transition systems as well as utils for graph traversal and modification.
Homepage POM file JAR file Javadoc'de.uni.freiburg.iig.telematik:JAGAL:1.0.2'