Formal mathematical models such as Petri-nets, automata and hidden-Markov models are explained along with their properties and analysis methods, respectively. Bio-sequences, protein motifs, protein structures, metabolic pathways, signal pathways, and regulatory networks are represented and analyzed with such mathematical models.