MIRA Documentation
Table of Contents
- MIRA
- Sources of model content
- ASKEM AMR (
mira.sources.amr
) - ASKEM AMR Petri nets (
mira.sources.amr.petrinet
) - ASKEM AMR Stockflow (
mira.sources.amr.stockflow
) - ASKEM AMR Regulatory nets (
mira.sources.amr.regnet
) - Reconstruct ODE semantics (
mira.sources.amr.flux_span
) - SBML extraction (
mira.sources.sbml
) - SBML Qual extraction (
mira.sources.sbml.qual_api
) - BioModels client (
mira.sources.biomodels
) - Bilayer extraction (
mira.sources.bilayer
) - ACSets Petri Net extraction (
mira.sources.acsets.petri
) - ACSets Stockflow extraction (
mira.sources.acsets.stockflow
) - ACSets Decapodes extraction (
mira.sources.acsets.decapodes.decapodes
) - ACSets DecaExpr extraction (
mira.sources.acsets.decapodes.deca_expr
) - Vensim models (
mira.sources.system_dynamics.vensim
) - Stella models (
mira.sources.system_dynamics.stella
) - PySD models (
mira.sources.system_dynamics.pysd
) - SIF networks (
mira.sources.sif
) - Utility Methods (
mira.sources.util
)
- 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
) - Decapodes (
mira.metamodel.decapodes
)
- Template model (
- Modeling
- Modeling module (
mira.modeling
) - ASKEM AMR Petri net generation (
mira.modeling.amr.petrinet
) - ASKEM AMR Stockflow generation (
mira.modeling.amr.stockflow
) - ASKEM AMR operations (
mira.modeling.amr.ops
) - ASKEM AMR Regulatory net generation (
mira.modeling.amr.regnet
) - Model visualization (
mira.modeling.viz
) - ODE model generation and simulation (
mira.modeling.ode
) - ACSets Petri net model generation (
mira.modeling.acsets.petri
) - ACSets Stockflow model generation (
mira.modeling.acsets.stockflow
) - Bilayer model generation (
mira.modeling.bilayer
)
- Modeling module (
- Domain Knowledge Graph
- Metaregistry
- Terarium Client
- Examples
- Decapodes vs DecaExpr Composite models