modification du patch sur smc pour prendre en compte le cas où un retour à la ligne est avant la valuation
modification du patch sur smc pour prendre en compte le cas où un retour à la ligne est avant la valuation

mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas