[MORAE] Deep Mult Expressions make incorrect PN's

ml4ai / skema

SKEMA: Scientific Knowledge Extraction and Model Analysis

https://ml4ai.github.io/skema/

Other

10 stars 4 forks source link

[MORAE] Deep Mult Expressions make incorrect PN's #871

Closed Free-Quarks closed 5 months ago

Free-Quarks commented 5 months ago

It turns out when the multiplication binary MET gets too large we don't fully collapse it when we call the flatten_mult() on it. This leads to parsing errors for constructing Petrinets.

Free-Quarks commented 5 months ago

FIxed with PR #872