Consistency and Sensitivity Analysis of Multi-level Petri Net Models of Biological Systems