MonaLisa uses Petri net representation to model and analyse biochemical networks. Here, all reactions of a pathway are modeled by their metabolites and reactions. These are represetend by different kind of vertices, metabolites as circles and reactions as rectangles. The Petri net formalism offers a rich variety of mathematical anaylisis aproaches to check the model for structual faults or to identify biological modules. Furthermore, MonaLisa can visualize the computed results, so that a quick visual inspection is possible. This will help especially for handeling big models.
- Modeling of Petri nets
- Analysation of Petri nets
- Visualization of analysis results
- Find functional models in Petri nets
Be the first to post a review of MonaLisa!