Enzymatic competition: Modeling and verification with timed hybrid petri nets