Data

Tools

Indexes

Applications

Experiments

Open Source Science

AlgebraicPetri

Build Petri net models compositionally

https://github.com/algebraicjulia/algebraicpetri.jl

Science Score: 77.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 4 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: arxiv.org, zenodo.org
  • ✓
    Committers with academic emails
    2 of 19 committers (10.5%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (9.4%) to scientific vocabulary

Keywords

chemistry epidemiology math petri

Keywords from Contributors

symbolic ode differential-equations pde term-rewriting symbolic-manipulation symbolic-computation programming-language equality-saturation egraphs
Last synced: 4 months ago · JSON representation ·

Repository

Build Petri net models compositionally

Basic Info
Statistics
  • Stars: 88
  • Watchers: 8
  • Forks: 21
  • Open Issues: 18
  • Releases: 35
Topics
chemistry epidemiology math petri
Created over 5 years ago · Last pushed 5 months ago
Metadata Files
Readme License Citation

README.md

AlgebraicPetri.jl

Stable Documentation Development Documentation CI/CD DOI

AlgebraicPetri.jl is a Julia package for building Petri Net models compositionally. This package depends on Catlab.jl which provides a framework for applied category theory (ACT) in Julia, and is part of the AlgebraicJulia organization, which develops ACT-based software to improve scientific and technical computing.

AlgebraicPetri.jl defines the category of open Petri nets as described in [Baez 2018], and implements composition and stratification methods for such Petri nets from [Libkind 2022].

Getting started

Please visit the documentation to learn more about how to use the package. For more details on the underlying theory, please consult [Baez 2018] or [Libkind 2022], with the latter being more oriented towards applied practitioners.

Tutorials are organized by theme. Currently examples from epidemiology are the most developed. The basic tutorial introduces the main themes of modeling with open Petri nets, followed by a detailed tutorial on model stratification, and a detailed example of developing a complex model with multiple strains of a directly-transmitted disease with vaccines.

Owner

  • Name: AlgebraicJulia
  • Login: AlgebraicJulia
  • Kind: organization

Citation (CITATION.cff) 

cff-version: 1.2.0
title: AlgebraicPetri.jl
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Micah
    family-names: Halter
    email: micah.halter@gtri.gatech.edu
    affiliation: Georgia Tech  Research Institute
    orcid: 'https://orcid.org/0000-0002-0484-971X'
repository-code: 'https://github.com/AlgebraicJulia/AlgebraicPetri.jl'
url: 'https://algebraicjulia.github.io/AlgebraicPetri.jl'
abstract: >-
  AlgebraicPetri.jl is a Julia package for building Petri
  Net models compositionally.
keywords:
  - petri net
  - category theory
  - julia
  - scientific modeling
license: MIT

GitHub Events

Total
  • Create event: 1
  • Release event: 1
  • Issues event: 2
  • Watch event: 12
  • Push event: 2
  • Pull request event: 2
Last Year
  • Create event: 1
  • Release event: 1
  • Issues event: 2
  • Watch event: 12
  • Push event: 2
  • Pull request event: 2

Committers

Last synced: 6 months ago

All Time
  • Total Commits: 280
  • Total Committers: 19
  • Avg Commits per committer: 14.737
  • Development Distribution Score (DDS): 0.507
Past Year
  • Commits: 2
  • Committers: 1
  • Avg Commits per committer: 2.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
Micah Halter m****h@m****m 138
bosonbaas b****s@g****m 48
Evan Patterson e****n@e****g 24
slwu89 1****9 22
p-stokes p****s@g****m 10
James P. Fairbanks f****j@u****u 8
Owen Lynch r****t@o****g 8
AlgebraicJulia Bot 1****t 7
Yingbo Ma m****5@g****m 4
Tyler Hanks t****s@g****m 2
CompatHelper Julia c****y@j****g 1
fairbanks f****j@C****e 1
fairbanks f****j@C****l 1
Chris Rackauckas a****s@c****m 1
JonathanHallstrom l****m@g****m 1
Matt c****t@g****m 1
Pietro Monticone 3****e 1
anand jain a****j@u****u 1
github-actions[bot] 4****] 1
Committer Domains (Top 20 + Academic)
uchicago.edu: 1 chrisrackauckas.com: 1 cise-mac-43290d.fios-router.home: 1 julialang.org: 1 owenlynch.org: 1 ufl.edu: 1 epatters.org: 1 mehalter.com: 1

Issues and Pull Requests

Last synced: 5 months ago

All Time
  • Total issues: 45
  • Total pull requests: 104
  • Average time to close issues: 5 months
  • Average time to close pull requests: 3 months
  • Total issue authors: 13
  • Total pull request authors: 21
  • Average comments per issue: 2.6
  • Average comments per pull request: 1.24
  • Merged pull requests: 77
  • Bot issues: 0
  • Bot pull requests: 6
Past Year
  • Issues: 6
  • Pull requests: 5
  • Average time to close issues: about 22 hours
  • Average time to close pull requests: 3 days
  • Issue authors: 2
  • Pull request authors: 3
  • Average comments per issue: 1.83
  • Average comments per pull request: 0.0
  • Merged pull requests: 1
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
  • p-stokes (8)
  • mehalter (6)
  • sdwfrost (6)
  • bosonbaas (5)
  • slwu89 (4)
  • epatters (4)
  • jpfairbanks (3)
  • olynch (2)
  • lukem12345 (1)
  • anandijain (1)
  • Tom-Szendrey (1)
  • kris-brown (1)
  • JuliaTagBot (1)
Pull Request Authors
  • mehalter (39)
  • bosonbaas (12)
  • slwu89 (12)
  • epatters (11)
  • olynch (6)
  • github-actions[bot] (6)
  • p-stokes (5)
  • algebraicjuliabot (3)
  • bohrium (2)
  • slmontes (2)
  • YingboMa (2)
  • tienbien44 (2)
  • quffaro (2)
  • jpfairbanks (1)
  • Xiaoyan-Li (1)
Top Labels
Issue Labels
bug (9) enhancement (5) documentation (4) integration (3) testing (1)
Pull Request Labels
enhancement (12) bug (6) documentation (5)

Packages

  • Total packages: 1
  • Total downloads:
    • julia 10 total
  • Total dependent packages: 2
  • Total dependent repositories: 0
  • Total versions: 35
juliahub.com: AlgebraicPetri

Build Petri net models compositionally

  • Versions: 35
  • Dependent Packages: 2
  • Dependent Repositories: 0
  • Downloads: 10 Total
Rankings
Forks count: 9.8%
Dependent repos count: 9.9%
Stargazers count: 10.7%
Average: 13.4%
Dependent packages count: 23.0%
Last synced: 5 months ago

Dependencies

.github/workflows/TagBot.yml actions
  • JuliaRegistries/TagBot v1 composite
.github/workflows/codecov.yml actions
  • actions/checkout v2 composite
  • codecov/codecov-action v1 composite
  • julia-actions/julia-buildpkg latest composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest latest composite
  • julia-actions/setup-julia latest composite
.github/workflows/docs.yml actions
  • actions/checkout v2 composite
  • julia-actions/setup-julia latest composite
.github/workflows/rebase.yml actions
  • actions/checkout v2 composite
  • cirrus-actions/rebase 1.5 composite
.github/workflows/test.yml actions
  • actions/checkout v2 composite
  • julia-actions/julia-runtest master composite
  • julia-actions/setup-julia latest composite