Fix bug in FixModel: arcs are now correctly fixed.
Fix bug in FixModel: arcs are now correctly fixed.
mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas