Dans le domaine des systèmes à événements discrets, une classe importante de problèmes de test est de déterminer l’état final après l’exécution d’une séquence de test. Ce problème a été complètement résolu dans les années 60 à l’aide des séquences de positionnement et des sequences de synchronisation pour les machines à états finis avec entrées/sorties. Dans cet article, nous proposons une première approche pour déterminer une séquence de synchronisation, si elle existe, sur les systèmes représentés par la classe de réseaux de Petri synchronisés. Nous montrons que, quel que soit le nombre de jetons du réseau, une séquence de synchronisation peut être calculée en fonction de la structure du RdP, évitant ainsi le problème d’explosion combinatoire du nombre d’états.

Séquences de synchronisation sur les réseaux de Petri

GIUA, ALESSANDRO
2011-01-01

Abstract

Dans le domaine des systèmes à événements discrets, une classe importante de problèmes de test est de déterminer l’état final après l’exécution d’une séquence de test. Ce problème a été complètement résolu dans les années 60 à l’aide des séquences de positionnement et des sequences de synchronisation pour les machines à états finis avec entrées/sorties. Dans cet article, nous proposons une première approche pour déterminer une séquence de synchronisation, si elle existe, sur les systèmes représentés par la classe de réseaux de Petri synchronisés. Nous montrons que, quel que soit le nombre de jetons du réseau, une séquence de synchronisation peut être calculée en fonction de la structure du RdP, évitant ainsi le problème d’explosion combinatoire du nombre d’états.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/27752
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact