Computing hierarchical transition graphs of asynchronous genetic regulatory networks