[FEAT]: Conversion between MIRA and PetriNet

[YohannParis]

Describe the solution you'd like

• Talk to TA2 (HMS and UofF) about getting a conversion algorithm between MIRA and PetriNet
• Implement it as an API endpoint

[bencodrington]

Removing this from the current sprint. We'll want to support the conversion eventually, but it's unlikely we'll want to prioritize anything to do with MIRA's representation before the demo since:
a) the thin-thread doesn't include this representation
b) it's not a major blocker for other important research/design/implementation threads