Rendre plus lisible les étiquettes des automates quotients
Bonjour,
Pour un échange de signal entre 2 blocs : nombre de modèles utilisent le même identificateur dans le bloc émetteur et dans le bloc récepteur.
Lors de la minimisation d'un graphe d'accessibilité étiqueté en un automate quotient, si le signal 'in' et le signal 'out' portent le même nom, pourquoi l'étiquette de transition répète-t-elle le nom du signal ? Ne pas répéter le nom du signal permettrait de raccourcir les étiquettes de l'automate quotient.
Par avance, merci.
Pierre de Saqui-Sannes, ISAE-SUPAERO, Toulouse, France.
Submitted by external user pdss@isae.fr