net.automatalib:automata-commons-smartcollections (maven):  This library provides efficient implementations for various collection data structures (esp. linked lists and priority queues), which have very insufficient implementation in the Java Collections Foundations that makes it hard or even impossible to exploit their efficiencies. 
Keywords: automata|graph|java|java-library|transition-systems