Skip to Main content Skip to Navigation
Conference papers

Improving Reachability Analysis for Partially Symmetric High Level Petri Nets

Souheib Baarir 1 Jean-Michel Ilié 1 Alexandre Duret-Lutz 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01496154
Contributor : Lip6 Publications <>
Submitted on : Monday, March 27, 2017 - 11:28:40 AM
Last modification on : Thursday, March 21, 2019 - 1:11:45 PM

Identifiers

  • HAL Id : hal-01496154, version 1

Citation

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⟩

Share

Metrics

Record views

56