Skip to content
This repository has been archived by the owner on Jan 8, 2025. It is now read-only.

[FEAT]: Conversion between MIRA and PetriNet #8

Open
YohannParis opened this issue Oct 18, 2022 · 1 comment
Open

[FEAT]: Conversion between MIRA and PetriNet #8

YohannParis opened this issue Oct 18, 2022 · 1 comment
Assignees
@liunelson
Milestone
December Sprint

Comments

@YohannParis
Copy link
Member

YohannParis commented Oct 18, 2022 •
edited
Loading

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
@dgauldie dgauldie added this to the November Sprint milestone Oct 28, 2022
@dgauldie dgauldie changed the title Conversion between MIRA and PetriNet [FEAT]: Conversion between MIRA and PetriNet Oct 28, 2022
@bencodrington bencodrington removed this from the November Sprint milestone Nov 1, 2022
@bencodrington
Copy link
Contributor

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

@dgauldie dgauldie added this to the December Sprint milestone Nov 17, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@liunelson liunelson

Labels
None yet
Projects
None yet
Milestone
December Sprint
Development

No branches or pull requests
4 participants
@YohannParis @liunelson @dgauldie @bencodrington