The version is 0.1.0, Arne, analyze biological regulatory networks with this utility. Arne is a graphical tool to help you model and analyze biological regulatory networks. It uses the mCRL2 model checker suite as back-end and is build using the Eclipse Rich Client Platform. So, if you were looking for a tool to help you...