AlgebraicJulia / AlgebraicJulia/AlgebraicPetri.jl
ACSetTransformation Wrapper to type LabelledPetriNet
Aperta
integration
- Lingua principale
- Julia
- Stelle
- 94
- Fork
- 22
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
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
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.