Added Petri-net reachability graph calculation and firing sequence calculation based on the graph.
Split the control server, message and action definition into a separate package to untangle dependencies. Moved the execution control into a separate package. Moved identification into separate package. Corrected dependencies.