AlgebraicJulia / AlgebraicJulia/AlgebraicPetri.jl
ACSetTransformation Wrapper to type LabelledPetriNet
Open
integration
- Dominant language
- Julia
- Stars
- 94
- Forks
- 22
- PR merge metrics
- No merged PRs in 30d
Description
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
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.