Library tools to collect timing in Java, C, C++
Java library implementing a state machine by the UML standard.
Approximate Subgraph Matching Algorithm for Dependency Graphs
Exact Subgraph Matching Algorithm for Dependency Graphs
PetriNetExec a library for embedding Petri Nets into Java applications
software development tool integration framework