Unfolding of Products of Symmetrical Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Unfolding of Products of Symmetrical Petri Nets

Jean-Michel Couvreur
  • Fonction : Auteur
Sébastien Grivet
  • Fonction : Auteur
Denis Poitrenaud
  • Fonction : Auteur
  • PersonId : 968343

Résumé

This paper presents a general technique for the modular construction ofcomplete prefixes adapted to systems composed ofP etri nets. This construction is based on a definition ofa well-adapted order allowing combination. Moreover, the proposed technique takes into account the symmetries ofthe system to minimize the size ofthe produced complete prefixes. Finally, the technique has been instantiated in an efficient algorithm for systems combining finite state machines and k-bounded queues with k a priori known or not.

Dates et versions

hal-01571714 , version 1 (03-08-2017)

Identifiants

Citer

Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud. Unfolding of Products of Symmetrical Petri Nets. 22th International Conference on Applications and Theory of Petri Nets, Jun 2001, Newcastle upon Tyne, United Kingdom. pp.121-143, ⟨10.1007/3-540-45740-2_9⟩. ⟨hal-01571714⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More