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

Improving Reachability Analysis for Partially Symmetric High Level Petri Nets

Souheib Baarir
Modélisation et Vérification
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Modélisation et Vérification
Alexandre Duret-Lutz
Modélisation et Vérification
CV

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01496154

Soumis le : lundi 27 mars 2017-11:28:40

Dernière modification le : jeudi 4 avril 2024-11:07:07

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
76 Consultations
0 Téléchargements

Partager

More