Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. 

Approximate model of cooperative activation and crossbridge cycling in cardiac muscle using ordinary differentialequations.