MIRA Documentation
Table of Contents
- MIRA
- Sources of model content
- ASKEM AMR (
mira.sources.askenet
) - ASKEM AMR Petri nets (
mira.sources.askenet.petrinet
) - ASKEM AMR Regulatory nets (
mira.sources.askenet.regnet
) - Reconstruct ODE semantics (
mira.sources.askenet.flux_span
) - SBML extraction (
mira.sources.sbml
) - BioModels client (
mira.sources.biomodels
) - Bilayer extraction (
mira.sources.bilayer
) - ACSets Petri Net extraction (
mira.sources.petri
)
- ASKEM AMR (
- Meta-model
- Template model (
mira.metamodel.template_model
) - Templates (
mira.metamodel.templates
) - Operations (
mira.metamodel.ops
) - Model comparison (
mira.metamodel.comparison
) - Meta-model schema (
mira.metamodel.schema
) - Model search (
mira.metamodel.search
) - Model I/O (
mira.metamodel.io
) - Units (
mira.metamodel.units
) - Utilities (
mira.metamodel.utils
)
- Template model (
- Modeling
- ASKEM AMR Petri net generation(
mira.modeling.askenet.petrinet
) - ASKEM AMR Regulatory net generation (
mira.modeling.askenet.regnet
) - Model visualization (
mira.modeling.viz
) - ODE model generation and simulation (
mira.modeling.ode
) - ACSets Petri net model generation (
mira.modeling.petri
) - Bilayer model generation (
mira.modeling.bilayer
)
- ASKEM AMR Petri net generation(
- Domain Knowledge Graph
- Metaregistry
- Terarium Client