AlgebraicJulia / AlgebraicJulia/AlgebraicPetri.jl
ACSetTransformation Wrapper to type LabelledPetriNet
オープン
integration
- 主要言語
- Julia
- スター
- 94
- フォーク
- 22
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Writing a wrapper for `ACSetTransformation` similar to `oapply_typed` that takes a `LabelledPetriNet` instead of a uwd
Given:
1. LabelledPetriNet (SIR for example)
2. LabelledPetriNet/Type System/Ontology,
3. some sort of mapping (not sure what format you will require but ideally it is based off of the id's rather than the indexes)
Output: typed petrinet
Example visual if helpful Below
https://user-images.githubusercontent.com/17088680/224127118-f8518782-ebb2-476d-8218-4335eb6ef874.mov
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。