Improving Reachability Analysis for Partially Symmetric High Level Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Improving Reachability Analysis for Partially Symmetric High Level Petri Nets

Souheib Baarir
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Alexandre Duret-Lutz
Fichier non déposé

Dates et versions

hal-01496154 , version 1 (27-03-2017)

Identifiants

  • HAL Id : hal-01496154 , version 1

Citer

Souheib Baarir, Jean-Michel Ilié, Alexandre Duret-Lutz. Improving Reachability Analysis for Partially Symmetric High Level Petri Nets. 12th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '04), Oct 2004, Volendam, Netherlands. pp.5-8. ⟨hal-01496154⟩
47 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More