Application of formal systems to model biological systems - View it on GitHub