what kind of Automata I can use to design Biological Network is it cellular Automata,finite Automata. How can I use them in designing and analysis of network designing. I am using ANIMO a cytoscape tool for designing network using Grammar and Automata does i am in right track and UPPAL checker for analysis. Please brief me as knowing as biologist because very less information is available in tutorials.