{Exploiting colored Petri nets to decide on permutation admissibility} - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Acta Informatica Année : 2009

{Exploiting colored Petri nets to decide on permutation admissibility}

Rza Bashirov
  • Fonction : Auteur
Fabrice Kordon
Hüseyin Lort
  • Fonction : Auteur

Résumé

In this work, we propose an innovative approach to investigate the admissibility of permutations to multistage interconnection networks—a challenging problem of switching theory. The proposed approach is centered upon modeling of multistage interconnection networks with colored Petri nets and use of Petri net analysis tools such as the unfolding technique and the invariants method. To assess the feasibility of the proposed approach we demonstrate that the complete unfoldings obtained in this work are polynomial in the problem size and employ an acyclic structure. The approach takes advantage of easy to use, yet extremely efficient, software tools.

Dates et versions

hal-01176303 , version 1 (15-07-2015)

Identifiants

Citer

Rza Bashirov, Fabrice Kordon, Hüseyin Lort. {Exploiting colored Petri nets to decide on permutation admissibility}. Acta Informatica, 2009, 46 (1), pp.43-55. ⟨10.1007/s00236-008-0084-1⟩. ⟨hal-01176303⟩
56 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More