AlgebraicJulia / AlgebraicJulia/AlgebraicPetri.jl
ACSetTransformation Wrapper to type LabelledPetriNet
Abierto
integration
- Lenguaje dominante
- Julia
- Estrellas
- 94
- Forks
- 22
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.