Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Example models missing parameter values/distributions, rate laws, observables, and state initial values #62

Open
20 of 40 tasks
SamWitty opened this issue Oct 25, 2023 · 2 comments
Assignees
Labels

Comments

@SamWitty
Copy link
Contributor

SamWitty commented Oct 25, 2023

A fully specified AMR should contain all of the following components:

  • Parameter values/distributions
  • Rate laws expressions
  • Observables (Optional)
  • State Initial values

Currently, none of the examples in this repository contain all 4 of these components. The following list summarizes my current accounting of which models contain which components. Completion of this issue will involve updating each example accordingly.

Parameter values/distributions

  • petrinet/flux_typed
  • petrinet/flux_typed_aug
  • petrinet/ont_pop_vax
  • petrinet/sir
  • petrinet/sir_flux_span
  • petrinet/sir_typed
  • petrinet/sir_typed_aug
  • regnet/lotka_volterra
  • regnet/syntax_edge_cases
  • stockflow/sir

Rate Law expressions

  • petrinet/flux_typed
  • petrinet/flux_typed_aug
  • petrinet/ont_pop_vax
  • petrinet/sir
  • petrinet/sir_flux_span
  • petrinet/sir_typed
  • petrinet/sir_typed_aug
  • regnet/lotka_volterra
  • regnet/syntax_edge_cases
  • stockflow/sir

Observables

  • petrinet/flux_typed
  • petrinet/flux_typed_aug
  • petrinet/ont_pop_vax
  • petrinet/sir
  • petrinet/sir_flux_span
  • petrinet/sir_typed
  • petrinet/sir_typed_aug
  • regnet/lotka_volterra
  • regnet/syntax_edge_cases
  • stockflow/sir

State initial values

  • petrinet/flux_typed
  • petrinet/flux_typed_aug
  • petrinet/ont_pop_vax
  • petrinet/sir
  • petrinet/sir_flux_span
  • petrinet/sir_typed
  • petrinet/sir_typed_aug
  • regnet/lotka_volterra
  • regnet/syntax_edge_cases
  • stockflow/sir
@JosephCottam
Copy link
Contributor

Model-checker (draft) now available in https://github.com/ciemss/Model-Representations/tree/jc-model-checks

Tries to compute the checkmarks @SamWitty listed above. Run as python validation/model_inventory.py petrinet/examples/*.json.

@SamWitty -- Does this checking make sense? Right now it looks at both pdeandodeinsemantics`, but I don't know if that is the right thing (I only have a few examples to go off of).

@djinnome -- The check_schema function validation/model_inventory.py is what I plan to use as the filter for my model-loading function.

@SamWitty
Copy link
Contributor Author

SamWitty commented Nov 16, 2023

@JosephCottam, sorry I missed this message. I never received an email notification for some reason, which usually happens ...

These checks looks great. Could you make a PR to this repo? I'd recommend assigning @bgyori as a reviewer.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: No status
Development

When branches are created from issues, their pull requests are automatically linked.

3 participants