Je veux savoir s'il existe un outil qui transforme les digramme SDL ou diagramme sous Stateflow ou les FSM en réseaux de Petri stochastique.:roll: