AlgebraicJulia / AlgebraicJulia/AlgebraicPetri.jl
ACSetTransformation Wrapper to type LabelledPetriNet
Đang mở
integration
- Ngôn ngữ chính
- Julia
- Star
- 94
- Fork
- 22
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
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
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.