Using abstract state machines in modeling biological systems