funman.model.generated_models package

Submodules

funman.model.generated_models.petrinet module

pydantic model funman.model.generated_models.petrinet.Distribution

Bases: BaseModel

Show JSON schema

{
   "title": "Distribution",
   "type": "object",
   "properties": {
      "type": {
         "title": "Type",
         "type": "string"
      },
      "parameters": {
         "title": "Parameters",
         "type": "object"
      }
   },
   "additionalProperties": true,
   "required": [
      "type",
      "parameters"
   ]
}

Config:

• extra: str = allow

Fields:

• parameters (Dict[str, Any])

• type (str)

field parameters: Dict[str, Any] [Required]

field type: str [Required]

pydantic model funman.model.generated_models.petrinet.Grounding

Bases: BaseModel

Show JSON schema

{
   "title": "Grounding",
   "type": "object",
   "properties": {
      "identifiers": {
         "title": "Identifiers",
         "type": "object"
      },
      "modifiers": {
         "anyOf": [
            {
               "type": "object"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Modifiers"
      }
   },
   "additionalProperties": false,
   "required": [
      "identifiers"
   ]
}

Config:

• extra: str = forbid

Fields:

• identifiers (Dict[str, Any])

• modifiers (Dict[str, Any] | None)

field identifiers: Dict[str, Any] [Required]

field modifiers: Dict[str, Any] | None = None

pydantic model funman.model.generated_models.petrinet.Header

Bases: BaseModel

Show JSON schema

{
   "title": "Header",
   "type": "object",
   "properties": {
      "name": {
         "title": "Name",
         "type": "string"
      },
      "schema": {
         "format": "uri",
         "minLength": 1,
         "title": "Schema",
         "type": "string"
      },
      "schema_name": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Schema Name"
      },
      "description": {
         "title": "Description",
         "type": "string"
      },
      "model_version": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Model Version"
      }
   },
   "required": [
      "name",
      "schema",
      "description"
   ]
}

Config:

• protected_namespaces: tuple = ()

• populate_by_name: bool = True

Fields:

• description (str)

• model_version (str | None)

• name (str)

• schema_ (pydantic_core._pydantic_core.Url)

• schema_name (str | None)

field description: str [Required]

field model_version: str | None = None

field name: str [Required]

field schema_: AnyUrl [Required] (alias 'schema')

field schema_name: str | None = None

pydantic model funman.model.generated_models.petrinet.Initial

Bases: Rate

Show JSON schema

{
   "title": "Initial",
   "type": "object",
   "properties": {
      "target": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Target"
      },
      "expression": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression"
      },
      "expression_mathml": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression Mathml"
      }
   }
}

Fields:

• expression (str | None)

• expression_mathml (str | None)

• target (str | None)

field expression: str | None = None

field expression_mathml: str | None = None

field target: str | None = None

pydantic model funman.model.generated_models.petrinet.Model

Bases: BaseModel

Show JSON schema

{
   "$defs": {
      "Distribution": {
         "additionalProperties": true,
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Header": {
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "schema": {
               "format": "uri",
               "minLength": 1,
               "title": "Schema",
               "type": "string"
            },
            "schema_name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Schema Name"
            },
            "description": {
               "title": "Description",
               "type": "string"
            },
            "model_version": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Model Version"
            }
         },
         "required": [
            "name",
            "schema",
            "description"
         ],
         "title": "Header",
         "type": "object"
      },
      "Initial": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Initial",
         "type": "object"
      },
      "Model": {
         "additionalProperties": true,
         "properties": {
            "header": {
               "$ref": "#/$defs/Header"
            },
            "properties": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Properties"
            },
            "model": {
               "$ref": "#/$defs/Model1"
            },
            "semantics": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Semantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "Information specific to a given semantics (e.g., ODEs) associated with a model."
            },
            "metadata": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Information not useful for execution of the model, but that may be useful to some consumer in the future. E.g. creation timestamp or source paper's author.",
               "title": "Metadata"
            }
         },
         "required": [
            "header",
            "model"
         ],
         "title": "Model",
         "type": "object"
      },
      "Model1": {
         "additionalProperties": false,
         "properties": {
            "states": {
               "$ref": "#/$defs/States"
            },
            "transitions": {
               "$ref": "#/$defs/Transitions"
            }
         },
         "required": [
            "states",
            "transitions"
         ],
         "title": "Model1",
         "type": "object"
      },
      "Observable": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "required": [
            "id"
         ],
         "title": "Observable",
         "type": "object"
      },
      "OdeSemantics": {
         "properties": {
            "rates": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Rate"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Rates"
            },
            "initials": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Initial"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Initials"
            },
            "parameters": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Parameter"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Parameters"
            },
            "observables": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Observable"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Observables"
            },
            "time": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Time"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "title": "OdeSemantics",
         "type": "object"
      },
      "Parameter": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "value": {
               "anyOf": [
                  {
                     "type": "number"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Value"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "distribution": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Distribution"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Parameter",
         "type": "object"
      },
      "Properties": {
         "additionalProperties": true,
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "name"
         ],
         "title": "Properties",
         "type": "object"
      },
      "Rate": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Rate",
         "type": "object"
      },
      "Semantics": {
         "properties": {
            "ode": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/OdeSemantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "typing": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/TypingSemantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Information for aligning models for stratification"
            },
            "span": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/TypingSemantics"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Legs of a span, each of which are a full ASKEM Petri Net",
               "title": "Span"
            }
         },
         "title": "Semantics",
         "type": "object"
      },
      "State": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "State",
         "type": "object"
      },
      "States": {
         "items": {
            "$ref": "#/$defs/State"
         },
         "title": "States",
         "type": "array"
      },
      "Time": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Time",
         "type": "object"
      },
      "Transition": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "input": {
               "items": {
                  "type": "string"
               },
               "title": "Input",
               "type": "array"
            },
            "output": {
               "items": {
                  "type": "string"
               },
               "title": "Output",
               "type": "array"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "properties": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Properties"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "input",
            "output"
         ],
         "title": "Transition",
         "type": "object"
      },
      "Transitions": {
         "items": {
            "$ref": "#/$defs/Transition"
         },
         "title": "Transitions",
         "type": "array"
      },
      "TypingSemantics": {
         "properties": {
            "system": {
               "$ref": "#/$defs/Model",
               "description": "A Petri net representing the 'type system' that is necessary to align states and transitions across different models during stratification."
            },
            "map": {
               "description": "A map between the (state and transition) nodes of the model and the (state and transition) nodes of the type system",
               "items": {
                  "items": {
                     "type": "string"
                  },
                  "type": "array"
               },
               "title": "Map",
               "type": "array"
            }
         },
         "required": [
            "system",
            "map"
         ],
         "title": "TypingSemantics",
         "type": "object"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "$ref": "#/$defs/Model"
}

Config:

• extra: str = allow

Fields:

• header (funman.model.generated_models.petrinet.Header)

• metadata (Dict[str, Any] | None)

• model (funman.model.generated_models.petrinet.Model1)

• properties (Dict[str, Any] | None)

• semantics (funman.model.generated_models.petrinet.Semantics | None)

field header: Header [Required]

field metadata: Dict[str, Any] | None = None

(Optional) Information not useful for execution of the model, but that may be useful to some consumer in the future. E.g. creation timestamp or source paper’s author.

field model: Model1 [Required]

field properties: Dict[str, Any] | None = None

field semantics: Semantics | None = None

Information specific to a given semantics (e.g., ODEs) associated with a model.

pydantic model funman.model.generated_models.petrinet.Model1

Bases: BaseModel

Show JSON schema

{
   "title": "Model1",
   "type": "object",
   "properties": {
      "states": {
         "$ref": "#/$defs/States"
      },
      "transitions": {
         "$ref": "#/$defs/Transitions"
      }
   },
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Properties": {
         "additionalProperties": true,
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "name"
         ],
         "title": "Properties",
         "type": "object"
      },
      "State": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "State",
         "type": "object"
      },
      "States": {
         "items": {
            "$ref": "#/$defs/State"
         },
         "title": "States",
         "type": "array"
      },
      "Transition": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "input": {
               "items": {
                  "type": "string"
               },
               "title": "Input",
               "type": "array"
            },
            "output": {
               "items": {
                  "type": "string"
               },
               "title": "Output",
               "type": "array"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "properties": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Properties"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "input",
            "output"
         ],
         "title": "Transition",
         "type": "object"
      },
      "Transitions": {
         "items": {
            "$ref": "#/$defs/Transition"
         },
         "title": "Transitions",
         "type": "array"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "additionalProperties": false,
   "required": [
      "states",
      "transitions"
   ]
}

Config:

• extra: str = forbid

Fields:

• states (funman.model.generated_models.petrinet.States)

• transitions (funman.model.generated_models.petrinet.Transitions)

field states: States [Required]

field transitions: Transitions [Required]

pydantic model funman.model.generated_models.petrinet.Observable

Bases: BaseModel

Show JSON schema

{
   "title": "Observable",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "name": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Name"
      },
      "expression": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression"
      },
      "expression_mathml": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression Mathml"
      }
   },
   "required": [
      "id"
   ]
}

Fields:

• expression (str | None)

• expression_mathml (str | None)

• id (str)

• name (str | None)

field expression: str | None = None

field expression_mathml: str | None = None

field id: str [Required]

field name: str | None = None

pydantic model funman.model.generated_models.petrinet.OdeSemantics

Bases: BaseModel

Show JSON schema

{
   "title": "OdeSemantics",
   "type": "object",
   "properties": {
      "rates": {
         "anyOf": [
            {
               "items": {
                  "$ref": "#/$defs/Rate"
               },
               "type": "array"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Rates"
      },
      "initials": {
         "anyOf": [
            {
               "items": {
                  "$ref": "#/$defs/Initial"
               },
               "type": "array"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Initials"
      },
      "parameters": {
         "anyOf": [
            {
               "items": {
                  "$ref": "#/$defs/Parameter"
               },
               "type": "array"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Parameters"
      },
      "observables": {
         "anyOf": [
            {
               "items": {
                  "$ref": "#/$defs/Observable"
               },
               "type": "array"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Observables"
      },
      "time": {
         "anyOf": [
            {
               "$ref": "#/$defs/Time"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Distribution": {
         "additionalProperties": true,
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Initial": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Initial",
         "type": "object"
      },
      "Observable": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "required": [
            "id"
         ],
         "title": "Observable",
         "type": "object"
      },
      "Parameter": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "value": {
               "anyOf": [
                  {
                     "type": "number"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Value"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "distribution": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Distribution"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Parameter",
         "type": "object"
      },
      "Rate": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Rate",
         "type": "object"
      },
      "Time": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Time",
         "type": "object"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   }
}

Fields:

• initials (List[funman.model.generated_models.petrinet.Initial] | None)

• observables (List[funman.model.generated_models.petrinet.Observable] | None)

• parameters (List[funman.model.generated_models.petrinet.Parameter] | None)

• rates (List[funman.model.generated_models.petrinet.Rate] | None)

• time (funman.model.generated_models.petrinet.Time | None)

field initials: List[Initial] | None = None

field observables: List[Observable] | None = None

field parameters: List[Parameter] | None = None

field rates: List[Rate] | None = None

field time: Time | None = None

pydantic model funman.model.generated_models.petrinet.Parameter

Bases: BaseModel

Show JSON schema

{
   "title": "Parameter",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "name": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Name"
      },
      "description": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Description"
      },
      "value": {
         "anyOf": [
            {
               "type": "number"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Value"
      },
      "grounding": {
         "anyOf": [
            {
               "$ref": "#/$defs/Grounding"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "distribution": {
         "anyOf": [
            {
               "$ref": "#/$defs/Distribution"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "units": {
         "anyOf": [
            {
               "$ref": "#/$defs/Unit"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Distribution": {
         "additionalProperties": true,
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "required": [
      "id"
   ]
}

Fields:

• description (str | None)

• distribution (funman.model.generated_models.petrinet.Distribution | None)

• grounding (funman.model.generated_models.petrinet.Grounding | None)

• id (str)

• name (str | None)

• units (funman.model.generated_models.petrinet.Unit | None)

• value (float | None)

field description: str | None = None

field distribution: Distribution | None = None

field grounding: Grounding | None = None

field id: str [Required]

field name: str | None = None

field units: Unit | None = None

field value: float | None = None

pydantic model funman.model.generated_models.petrinet.Properties

Bases: BaseModel

Show JSON schema

{
   "title": "Properties",
   "type": "object",
   "properties": {
      "name": {
         "title": "Name",
         "type": "string"
      },
      "description": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Description"
      },
      "grounding": {
         "anyOf": [
            {
               "$ref": "#/$defs/Grounding"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      }
   },
   "additionalProperties": true,
   "required": [
      "name"
   ]
}

Config:

• extra: str = allow

Fields:

• description (str | None)

• grounding (funman.model.generated_models.petrinet.Grounding | None)

• name (str)

field description: str | None = None

field grounding: Grounding | None = None

field name: str [Required]

pydantic model funman.model.generated_models.petrinet.Rate

Bases: BaseModel

Show JSON schema

{
   "title": "Rate",
   "type": "object",
   "properties": {
      "target": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Target"
      },
      "expression": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression"
      },
      "expression_mathml": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression Mathml"
      }
   }
}

Fields:

• expression (str | None)

• expression_mathml (str | None)

• target (str | None)

field expression: str | None = None

field expression_mathml: str | None = None

field target: str | None = None

pydantic model funman.model.generated_models.petrinet.Semantics

Bases: BaseModel

Show JSON schema

{
   "$defs": {
      "Distribution": {
         "additionalProperties": true,
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Header": {
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "schema": {
               "format": "uri",
               "minLength": 1,
               "title": "Schema",
               "type": "string"
            },
            "schema_name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Schema Name"
            },
            "description": {
               "title": "Description",
               "type": "string"
            },
            "model_version": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Model Version"
            }
         },
         "required": [
            "name",
            "schema",
            "description"
         ],
         "title": "Header",
         "type": "object"
      },
      "Initial": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Initial",
         "type": "object"
      },
      "Model": {
         "additionalProperties": true,
         "properties": {
            "header": {
               "$ref": "#/$defs/Header"
            },
            "properties": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Properties"
            },
            "model": {
               "$ref": "#/$defs/Model1"
            },
            "semantics": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Semantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "Information specific to a given semantics (e.g., ODEs) associated with a model."
            },
            "metadata": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Information not useful for execution of the model, but that may be useful to some consumer in the future. E.g. creation timestamp or source paper's author.",
               "title": "Metadata"
            }
         },
         "required": [
            "header",
            "model"
         ],
         "title": "Model",
         "type": "object"
      },
      "Model1": {
         "additionalProperties": false,
         "properties": {
            "states": {
               "$ref": "#/$defs/States"
            },
            "transitions": {
               "$ref": "#/$defs/Transitions"
            }
         },
         "required": [
            "states",
            "transitions"
         ],
         "title": "Model1",
         "type": "object"
      },
      "Observable": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "required": [
            "id"
         ],
         "title": "Observable",
         "type": "object"
      },
      "OdeSemantics": {
         "properties": {
            "rates": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Rate"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Rates"
            },
            "initials": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Initial"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Initials"
            },
            "parameters": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Parameter"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Parameters"
            },
            "observables": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Observable"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Observables"
            },
            "time": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Time"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "title": "OdeSemantics",
         "type": "object"
      },
      "Parameter": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "value": {
               "anyOf": [
                  {
                     "type": "number"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Value"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "distribution": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Distribution"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Parameter",
         "type": "object"
      },
      "Properties": {
         "additionalProperties": true,
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "name"
         ],
         "title": "Properties",
         "type": "object"
      },
      "Rate": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Rate",
         "type": "object"
      },
      "Semantics": {
         "properties": {
            "ode": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/OdeSemantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "typing": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/TypingSemantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Information for aligning models for stratification"
            },
            "span": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/TypingSemantics"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Legs of a span, each of which are a full ASKEM Petri Net",
               "title": "Span"
            }
         },
         "title": "Semantics",
         "type": "object"
      },
      "State": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "State",
         "type": "object"
      },
      "States": {
         "items": {
            "$ref": "#/$defs/State"
         },
         "title": "States",
         "type": "array"
      },
      "Time": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Time",
         "type": "object"
      },
      "Transition": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "input": {
               "items": {
                  "type": "string"
               },
               "title": "Input",
               "type": "array"
            },
            "output": {
               "items": {
                  "type": "string"
               },
               "title": "Output",
               "type": "array"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "properties": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Properties"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "input",
            "output"
         ],
         "title": "Transition",
         "type": "object"
      },
      "Transitions": {
         "items": {
            "$ref": "#/$defs/Transition"
         },
         "title": "Transitions",
         "type": "array"
      },
      "TypingSemantics": {
         "properties": {
            "system": {
               "$ref": "#/$defs/Model",
               "description": "A Petri net representing the 'type system' that is necessary to align states and transitions across different models during stratification."
            },
            "map": {
               "description": "A map between the (state and transition) nodes of the model and the (state and transition) nodes of the type system",
               "items": {
                  "items": {
                     "type": "string"
                  },
                  "type": "array"
               },
               "title": "Map",
               "type": "array"
            }
         },
         "required": [
            "system",
            "map"
         ],
         "title": "TypingSemantics",
         "type": "object"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "$ref": "#/$defs/Semantics"
}

Fields:

• ode (funman.model.generated_models.petrinet.OdeSemantics | None)

• span (List[funman.model.generated_models.petrinet.TypingSemantics] | None)

• typing (funman.model.generated_models.petrinet.TypingSemantics | None)

field ode: OdeSemantics | None = None

field span: List[TypingSemantics] | None = None

(Optional) Legs of a span, each of which are a full ASKEM Petri Net

field typing: TypingSemantics | None = None

(Optional) Information for aligning models for stratification

pydantic model funman.model.generated_models.petrinet.State

Bases: BaseModel

Show JSON schema

{
   "title": "State",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "name": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Name"
      },
      "description": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Description"
      },
      "grounding": {
         "anyOf": [
            {
               "$ref": "#/$defs/Grounding"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "units": {
         "anyOf": [
            {
               "$ref": "#/$defs/Unit"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "required": [
      "id"
   ]
}

Fields:

• description (str | None)

• grounding (funman.model.generated_models.petrinet.Grounding | None)

• id (str)

• name (str | None)

• units (funman.model.generated_models.petrinet.Unit | None)

field description: str | None = None

field grounding: Grounding | None = None

field id: str [Required]

field name: str | None = None

field units: Unit | None = None

pydantic model funman.model.generated_models.petrinet.States

Bases: State]]

Show JSON schema

{
   "title": "States",
   "type": "array",
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "State": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "State",
         "type": "object"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "items": {
      "$ref": "#/$defs/State"
   }
}

Fields:

• root (List[funman.model.generated_models.petrinet.State])

field root: List[State] [Required]

pydantic model funman.model.generated_models.petrinet.Time

Bases: BaseModel

Show JSON schema

{
   "title": "Time",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "units": {
         "anyOf": [
            {
               "$ref": "#/$defs/Unit"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "required": [
      "id"
   ]
}

Fields:

• id (str)

• units (funman.model.generated_models.petrinet.Unit | None)

field id: str [Required]

field units: Unit | None = None

pydantic model funman.model.generated_models.petrinet.Transition

Bases: BaseModel

Show JSON schema

{
   "title": "Transition",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "input": {
         "items": {
            "type": "string"
         },
         "title": "Input",
         "type": "array"
      },
      "output": {
         "items": {
            "type": "string"
         },
         "title": "Output",
         "type": "array"
      },
      "grounding": {
         "anyOf": [
            {
               "$ref": "#/$defs/Grounding"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "properties": {
         "anyOf": [
            {
               "$ref": "#/$defs/Properties"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Properties": {
         "additionalProperties": true,
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "name"
         ],
         "title": "Properties",
         "type": "object"
      }
   },
   "required": [
      "id",
      "input",
      "output"
   ]
}

Fields:

• grounding (funman.model.generated_models.petrinet.Grounding | None)

• id (str)

• input (List[str])

• output (List[str])

• properties (funman.model.generated_models.petrinet.Properties | None)

field grounding: Grounding | None = None

field id: str [Required]

field input: List[str] [Required]

field output: List[str] [Required]

field properties: Properties | None = None

pydantic model funman.model.generated_models.petrinet.Transitions

Bases: Transition]]

Show JSON schema

{
   "title": "Transitions",
   "type": "array",
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Properties": {
         "additionalProperties": true,
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "name"
         ],
         "title": "Properties",
         "type": "object"
      },
      "Transition": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "input": {
               "items": {
                  "type": "string"
               },
               "title": "Input",
               "type": "array"
            },
            "output": {
               "items": {
                  "type": "string"
               },
               "title": "Output",
               "type": "array"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "properties": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Properties"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "input",
            "output"
         ],
         "title": "Transition",
         "type": "object"
      }
   },
   "items": {
      "$ref": "#/$defs/Transition"
   }
}

Fields:

• root (List[funman.model.generated_models.petrinet.Transition])

field root: List[Transition] [Required]

pydantic model funman.model.generated_models.petrinet.TypingSemantics

Bases: BaseModel

Show JSON schema

{
   "$defs": {
      "Distribution": {
         "additionalProperties": true,
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "title": "Identifiers",
               "type": "object"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "required": [
            "identifiers"
         ],
         "title": "Grounding",
         "type": "object"
      },
      "Header": {
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "schema": {
               "format": "uri",
               "minLength": 1,
               "title": "Schema",
               "type": "string"
            },
            "schema_name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Schema Name"
            },
            "description": {
               "title": "Description",
               "type": "string"
            },
            "model_version": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Model Version"
            }
         },
         "required": [
            "name",
            "schema",
            "description"
         ],
         "title": "Header",
         "type": "object"
      },
      "Initial": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Initial",
         "type": "object"
      },
      "Model": {
         "additionalProperties": true,
         "properties": {
            "header": {
               "$ref": "#/$defs/Header"
            },
            "properties": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Properties"
            },
            "model": {
               "$ref": "#/$defs/Model1"
            },
            "semantics": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Semantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "Information specific to a given semantics (e.g., ODEs) associated with a model."
            },
            "metadata": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Information not useful for execution of the model, but that may be useful to some consumer in the future. E.g. creation timestamp or source paper's author.",
               "title": "Metadata"
            }
         },
         "required": [
            "header",
            "model"
         ],
         "title": "Model",
         "type": "object"
      },
      "Model1": {
         "additionalProperties": false,
         "properties": {
            "states": {
               "$ref": "#/$defs/States"
            },
            "transitions": {
               "$ref": "#/$defs/Transitions"
            }
         },
         "required": [
            "states",
            "transitions"
         ],
         "title": "Model1",
         "type": "object"
      },
      "Observable": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "required": [
            "id"
         ],
         "title": "Observable",
         "type": "object"
      },
      "OdeSemantics": {
         "properties": {
            "rates": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Rate"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Rates"
            },
            "initials": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Initial"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Initials"
            },
            "parameters": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Parameter"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Parameters"
            },
            "observables": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Observable"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Observables"
            },
            "time": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Time"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "title": "OdeSemantics",
         "type": "object"
      },
      "Parameter": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "value": {
               "anyOf": [
                  {
                     "type": "number"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Value"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "distribution": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Distribution"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Parameter",
         "type": "object"
      },
      "Properties": {
         "additionalProperties": true,
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "name"
         ],
         "title": "Properties",
         "type": "object"
      },
      "Rate": {
         "properties": {
            "target": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Target"
            },
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Rate",
         "type": "object"
      },
      "Semantics": {
         "properties": {
            "ode": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/OdeSemantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "typing": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/TypingSemantics"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Information for aligning models for stratification"
            },
            "span": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/TypingSemantics"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "description": "(Optional) Legs of a span, each of which are a full ASKEM Petri Net",
               "title": "Span"
            }
         },
         "title": "Semantics",
         "type": "object"
      },
      "State": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "State",
         "type": "object"
      },
      "States": {
         "items": {
            "$ref": "#/$defs/State"
         },
         "title": "States",
         "type": "array"
      },
      "Time": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "units": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Unit"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Time",
         "type": "object"
      },
      "Transition": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "input": {
               "items": {
                  "type": "string"
               },
               "title": "Input",
               "type": "array"
            },
            "output": {
               "items": {
                  "type": "string"
               },
               "title": "Output",
               "type": "array"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "properties": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Properties"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "input",
            "output"
         ],
         "title": "Transition",
         "type": "object"
      },
      "Transitions": {
         "items": {
            "$ref": "#/$defs/Transition"
         },
         "title": "Transitions",
         "type": "array"
      },
      "TypingSemantics": {
         "properties": {
            "system": {
               "$ref": "#/$defs/Model",
               "description": "A Petri net representing the 'type system' that is necessary to align states and transitions across different models during stratification."
            },
            "map": {
               "description": "A map between the (state and transition) nodes of the model and the (state and transition) nodes of the type system",
               "items": {
                  "items": {
                     "type": "string"
                  },
                  "type": "array"
               },
               "title": "Map",
               "type": "array"
            }
         },
         "required": [
            "system",
            "map"
         ],
         "title": "TypingSemantics",
         "type": "object"
      },
      "Unit": {
         "additionalProperties": true,
         "properties": {
            "expression": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression"
            },
            "expression_mathml": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Expression Mathml"
            }
         },
         "title": "Unit",
         "type": "object"
      }
   },
   "$ref": "#/$defs/TypingSemantics"
}

Fields:

• map (List[List[str]])

• system (funman.model.generated_models.petrinet.Model)

field map: List[List[str]] [Required]

A map between the (state and transition) nodes of the model and the (state and transition) nodes of the type system

field system: Model [Required]

A Petri net representing the ‘type system’ that is necessary to align states and transitions across different models during stratification.

pydantic model funman.model.generated_models.petrinet.Unit

Bases: BaseModel

Show JSON schema

{
   "title": "Unit",
   "type": "object",
   "properties": {
      "expression": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression"
      },
      "expression_mathml": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Expression Mathml"
      }
   },
   "additionalProperties": true
}

Config:

• extra: str = allow

Fields:

• expression (str | None)

• expression_mathml (str | None)

field expression: str | None = None

field expression_mathml: str | None = None

funman.model.generated_models.regnet module

pydantic model funman.model.generated_models.regnet.BaseProperties

Bases: BaseModel

Show JSON schema

{
   "title": "BaseProperties",
   "type": "object",
   "properties": {
      "name": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Name"
      },
      "grounding": {
         "anyOf": [
            {
               "$ref": "#/$defs/Grounding"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "rate_constant": {
         "anyOf": [
            {
               "$ref": "#/$defs/ParamOrNumber"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Identifiers"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "title": "Grounding",
         "type": "object"
      },
      "ParamOrNumber": {
         "anyOf": [
            {
               "type": "number"
            },
            {
               "type": "string"
            }
         ],
         "title": "ParamOrNumber"
      }
   }
}

Fields:

• grounding (funman.model.generated_models.regnet.Grounding | None)

• name (str | None)

• rate_constant (funman.model.generated_models.regnet.ParamOrNumber | None)

field grounding: Grounding | None = None

field name: str | None = None

field rate_constant: ParamOrNumber | None = None

pydantic model funman.model.generated_models.regnet.Distribution

Bases: BaseModel

Show JSON schema

{
   "title": "Distribution",
   "type": "object",
   "properties": {
      "type": {
         "title": "Type",
         "type": "string"
      },
      "parameters": {
         "title": "Parameters",
         "type": "object"
      }
   },
   "required": [
      "type",
      "parameters"
   ]
}

Fields:

• parameters (Dict[str, Any])

• type (str)

field parameters: Dict[str, Any] [Required]

field type: str [Required]

pydantic model funman.model.generated_models.regnet.Edge

Bases: SignedGraphElement

Show JSON schema

{
   "title": "Edge",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "sign": {
         "title": "Sign",
         "type": "boolean"
      },
      "source": {
         "title": "Source",
         "type": "string"
      },
      "target": {
         "title": "Target",
         "type": "string"
      },
      "properties": {
         "anyOf": [
            {
               "$ref": "#/$defs/BaseProperties"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "BaseProperties": {
         "properties": {
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "rate_constant": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/ParamOrNumber"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "title": "BaseProperties",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Identifiers"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "title": "Grounding",
         "type": "object"
      },
      "ParamOrNumber": {
         "anyOf": [
            {
               "type": "number"
            },
            {
               "type": "string"
            }
         ],
         "title": "ParamOrNumber"
      }
   },
   "required": [
      "id",
      "sign",
      "source",
      "target"
   ]
}

Fields:

• properties (funman.model.generated_models.regnet.BaseProperties | None)

• source (str)

• target (str)

field properties: BaseProperties | None = None

field source: str [Required]

field target: str [Required]

pydantic model funman.model.generated_models.regnet.Grounding

Bases: BaseModel

Show JSON schema

{
   "title": "Grounding",
   "type": "object",
   "properties": {
      "identifiers": {
         "anyOf": [
            {
               "type": "object"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Identifiers"
      },
      "modifiers": {
         "anyOf": [
            {
               "type": "object"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Modifiers"
      }
   },
   "additionalProperties": false
}

Config:

• extra: str = forbid

Fields:

• identifiers (Dict[str, Any] | None)

• modifiers (Dict[str, Any] | None)

field identifiers: Dict[str, Any] | None = None

field modifiers: Dict[str, Any] | None = None

pydantic model funman.model.generated_models.regnet.Header

Bases: BaseModel

Show JSON schema

{
   "title": "Header",
   "type": "object",
   "properties": {
      "name": {
         "title": "Name",
         "type": "string"
      },
      "schema": {
         "format": "uri",
         "minLength": 1,
         "title": "Schema",
         "type": "string"
      },
      "schema_name": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Schema Name"
      },
      "description": {
         "title": "Description",
         "type": "string"
      },
      "model_version": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Model Version"
      }
   },
   "required": [
      "name",
      "schema",
      "description"
   ]
}

Config:

• protected_namespaces: tuple = ()

Fields:

• description (str)

• model_version (str | None)

• name (str)

• schema_ (pydantic_core._pydantic_core.Url)

• schema_name (str | None)

field description: str [Required]

field model_version: str | None = None

field name: str [Required]

field schema_: AnyUrl [Required] (alias 'schema')

field schema_name: str | None = None

pydantic model funman.model.generated_models.regnet.Model

Bases: BaseModel

Show JSON schema

{
   "title": "Model",
   "type": "object",
   "properties": {
      "header": {
         "$ref": "#/$defs/Header"
      },
      "properties": {
         "anyOf": [
            {
               "type": "object"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Properties"
      },
      "model": {
         "$ref": "#/$defs/Model1"
      },
      "metadata": {
         "anyOf": [
            {
               "type": "object"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "description": "(Optional) Information not useful for execution of the model, but that may be useful to some consumer in the future. E.g. creation timestamp or source paper's author.",
         "title": "Metadata"
      }
   },
   "$defs": {
      "BaseProperties": {
         "properties": {
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "rate_constant": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/ParamOrNumber"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "title": "BaseProperties",
         "type": "object"
      },
      "Distribution": {
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Edge": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "sign": {
               "title": "Sign",
               "type": "boolean"
            },
            "source": {
               "title": "Source",
               "type": "string"
            },
            "target": {
               "title": "Target",
               "type": "string"
            },
            "properties": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/BaseProperties"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "sign",
            "source",
            "target"
         ],
         "title": "Edge",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Identifiers"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "title": "Grounding",
         "type": "object"
      },
      "Header": {
         "properties": {
            "name": {
               "title": "Name",
               "type": "string"
            },
            "schema": {
               "format": "uri",
               "minLength": 1,
               "title": "Schema",
               "type": "string"
            },
            "schema_name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Schema Name"
            },
            "description": {
               "title": "Description",
               "type": "string"
            },
            "model_version": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Model Version"
            }
         },
         "required": [
            "name",
            "schema",
            "description"
         ],
         "title": "Header",
         "type": "object"
      },
      "Model1": {
         "additionalProperties": false,
         "properties": {
            "vertices": {
               "items": {
                  "$ref": "#/$defs/Vertice"
               },
               "title": "Vertices",
               "type": "array"
            },
            "edges": {
               "items": {
                  "$ref": "#/$defs/Edge"
               },
               "title": "Edges",
               "type": "array"
            },
            "parameters": {
               "anyOf": [
                  {
                     "items": {
                        "$ref": "#/$defs/Parameter"
                     },
                     "type": "array"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Parameters"
            }
         },
         "required": [
            "vertices",
            "edges"
         ],
         "title": "Model1",
         "type": "object"
      },
      "ParamOrNumber": {
         "anyOf": [
            {
               "type": "number"
            },
            {
               "type": "string"
            }
         ],
         "title": "ParamOrNumber"
      },
      "Parameter": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "value": {
               "anyOf": [
                  {
                     "type": "number"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Value"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "distribution": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Distribution"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Parameter",
         "type": "object"
      },
      "Vertice": {
         "properties": {
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "rate_constant": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/ParamOrNumber"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "id": {
               "title": "Id",
               "type": "string"
            },
            "sign": {
               "title": "Sign",
               "type": "boolean"
            },
            "initial": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/ParamOrNumber"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "sign"
         ],
         "title": "Vertice",
         "type": "object"
      }
   },
   "required": [
      "header",
      "model"
   ]
}

Fields:

• header (funman.model.generated_models.regnet.Header)

• metadata (Dict[str, Any] | None)

• model (funman.model.generated_models.regnet.Model1)

• properties (Dict[str, Any] | None)

field header: Header [Required]

field metadata: Dict[str, Any] | None = None

(Optional) Information not useful for execution of the model, but that may be useful to some consumer in the future. E.g. creation timestamp or source paper’s author.

field model: Model1 [Required]

field properties: Dict[str, Any] | None = None

pydantic model funman.model.generated_models.regnet.Model1

Bases: BaseModel

Show JSON schema

{
   "title": "Model1",
   "type": "object",
   "properties": {
      "vertices": {
         "items": {
            "$ref": "#/$defs/Vertice"
         },
         "title": "Vertices",
         "type": "array"
      },
      "edges": {
         "items": {
            "$ref": "#/$defs/Edge"
         },
         "title": "Edges",
         "type": "array"
      },
      "parameters": {
         "anyOf": [
            {
               "items": {
                  "$ref": "#/$defs/Parameter"
               },
               "type": "array"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Parameters"
      }
   },
   "$defs": {
      "BaseProperties": {
         "properties": {
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "rate_constant": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/ParamOrNumber"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "title": "BaseProperties",
         "type": "object"
      },
      "Distribution": {
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Edge": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "sign": {
               "title": "Sign",
               "type": "boolean"
            },
            "source": {
               "title": "Source",
               "type": "string"
            },
            "target": {
               "title": "Target",
               "type": "string"
            },
            "properties": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/BaseProperties"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "sign",
            "source",
            "target"
         ],
         "title": "Edge",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Identifiers"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "title": "Grounding",
         "type": "object"
      },
      "ParamOrNumber": {
         "anyOf": [
            {
               "type": "number"
            },
            {
               "type": "string"
            }
         ],
         "title": "ParamOrNumber"
      },
      "Parameter": {
         "properties": {
            "id": {
               "title": "Id",
               "type": "string"
            },
            "description": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Description"
            },
            "value": {
               "anyOf": [
                  {
                     "type": "number"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Value"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "distribution": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Distribution"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id"
         ],
         "title": "Parameter",
         "type": "object"
      },
      "Vertice": {
         "properties": {
            "name": {
               "anyOf": [
                  {
                     "type": "string"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Name"
            },
            "grounding": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/Grounding"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "rate_constant": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/ParamOrNumber"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            },
            "id": {
               "title": "Id",
               "type": "string"
            },
            "sign": {
               "title": "Sign",
               "type": "boolean"
            },
            "initial": {
               "anyOf": [
                  {
                     "$ref": "#/$defs/ParamOrNumber"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null
            }
         },
         "required": [
            "id",
            "sign"
         ],
         "title": "Vertice",
         "type": "object"
      }
   },
   "additionalProperties": false,
   "required": [
      "vertices",
      "edges"
   ]
}

Config:

• extra: str = forbid

Fields:

• edges (List[funman.model.generated_models.regnet.Edge])

• parameters (List[funman.model.generated_models.regnet.Parameter] | None)

• vertices (List[funman.model.generated_models.regnet.Vertice])

field edges: List[Edge] [Required]

field parameters: List[Parameter] | None = None

field vertices: List[Vertice] [Required]

pydantic model funman.model.generated_models.regnet.ParamOrNumber

Bases: RootModel[Union[float, str]]

Show JSON schema

{
   "title": "ParamOrNumber",
   "anyOf": [
      {
         "type": "number"
      },
      {
         "type": "string"
      }
   ]
}

Fields:

• root (float | str)

field root: float | str [Required]

pydantic model funman.model.generated_models.regnet.Parameter

Bases: BaseModel

Show JSON schema

{
   "title": "Parameter",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "description": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Description"
      },
      "value": {
         "anyOf": [
            {
               "type": "number"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Value"
      },
      "grounding": {
         "anyOf": [
            {
               "$ref": "#/$defs/Grounding"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "distribution": {
         "anyOf": [
            {
               "$ref": "#/$defs/Distribution"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Distribution": {
         "properties": {
            "type": {
               "title": "Type",
               "type": "string"
            },
            "parameters": {
               "title": "Parameters",
               "type": "object"
            }
         },
         "required": [
            "type",
            "parameters"
         ],
         "title": "Distribution",
         "type": "object"
      },
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Identifiers"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "title": "Grounding",
         "type": "object"
      }
   },
   "required": [
      "id"
   ]
}

Fields:

• description (str | None)

• distribution (funman.model.generated_models.regnet.Distribution | None)

• grounding (funman.model.generated_models.regnet.Grounding | None)

• id (str)

• value (float | None)

field description: str | None = None

field distribution: Distribution | None = None

field grounding: Grounding | None = None

field id: str [Required]

field value: float | None = None

pydantic model funman.model.generated_models.regnet.SignedGraphElement

Bases: BaseModel

Show JSON schema

{
   "title": "SignedGraphElement",
   "type": "object",
   "properties": {
      "id": {
         "title": "Id",
         "type": "string"
      },
      "sign": {
         "title": "Sign",
         "type": "boolean"
      }
   },
   "required": [
      "id",
      "sign"
   ]
}

Fields:

• id (str)

• sign (bool)

field id: str [Required]

field sign: bool [Required]

pydantic model funman.model.generated_models.regnet.Vertice

Bases: SignedGraphElement, BaseProperties

Show JSON schema

{
   "title": "Vertice",
   "type": "object",
   "properties": {
      "name": {
         "anyOf": [
            {
               "type": "string"
            },
            {
               "type": "null"
            }
         ],
         "default": null,
         "title": "Name"
      },
      "grounding": {
         "anyOf": [
            {
               "$ref": "#/$defs/Grounding"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "rate_constant": {
         "anyOf": [
            {
               "$ref": "#/$defs/ParamOrNumber"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      },
      "id": {
         "title": "Id",
         "type": "string"
      },
      "sign": {
         "title": "Sign",
         "type": "boolean"
      },
      "initial": {
         "anyOf": [
            {
               "$ref": "#/$defs/ParamOrNumber"
            },
            {
               "type": "null"
            }
         ],
         "default": null
      }
   },
   "$defs": {
      "Grounding": {
         "additionalProperties": false,
         "properties": {
            "identifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Identifiers"
            },
            "modifiers": {
               "anyOf": [
                  {
                     "type": "object"
                  },
                  {
                     "type": "null"
                  }
               ],
               "default": null,
               "title": "Modifiers"
            }
         },
         "title": "Grounding",
         "type": "object"
      },
      "ParamOrNumber": {
         "anyOf": [
            {
               "type": "number"
            },
            {
               "type": "string"
            }
         ],
         "title": "ParamOrNumber"
      }
   },
   "required": [
      "id",
      "sign"
   ]
}

Fields:

• initial (Optional[ParamOrNumber])

field initial: ParamOrNumber | None = None

Module contents