Optimized Colored Nets Unfolding - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Optimized Colored Nets Unfolding

Fabrice Kordon
Alban Linard
  • Fonction : Auteur
  • PersonId : 987295
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651

Résumé

As some structural properties, like generative families of positive P-invariants, can only be computed in P/T nets, unfolding of Colored Petri Nets is of interest. However, it may generate huge nets that cannot be stored concretely in memory. In some cases, removing the dead parts of the unfolded net can dramatically reduce its size, but this operation requires the unfolded net to be represented anyway. This paper presents a symbolic representation of unfolded nets using Data Decision Diagrams. This technique allows to store very large models and manipulate them for optimization purpose.

Dates et versions

hal-01351825 , version 1 (04-08-2016)

Identifiants

Citer

Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet. Optimized Colored Nets Unfolding. International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Sep 2006, Paris, France. pp.339-355, ⟨10.1007/11888116_25⟩. ⟨hal-01351825⟩
48 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More