ACSetTransformation Wrapper to type LabelledPetriNet

[Tom Szendrey]

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

Sample.of.how.I.want.to.type.mov

[Evan Patterson]

Thanks. FYI, I've transferred this issue to the AlgebraicPetri repo.

[Micah Halter]

Based on the activity at the January Hackathon, we implemented the UWD based API that matches more closely the MMT implementation from MIRA. It would be better to use that for constructing typed petri nets. We are currently creating more examples of that API for demonstrating the new stratification functionality.

[Brandon Rose]

Seems like this is stale and should be closed. I'll remove it from the integration project at least