New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems

Alexandre Hamez
  • Fonction : Auteur
  • PersonId : 980314
Lom Messan Hillah
Fabrice Kordon
Alban Linard
  • Fonction : Auteur
  • PersonId : 987295
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
Xavier Renault
  • Fonction : Auteur
Yann Thierry-Mieg

Résumé

Due to the state-space size explosion problem, behavioral analysis techniques are difficult to scale up to industrial size problems. Our group couples research on analysis tools with an introspection on modeling and software engineering techniques. CPN-AMI is an integrated development and analysis environment dedicated to Petri nets. The numerous services it offers are built by a homogeneous integration of tools developed internally, and third-party tools from partner universities. These tools include state of the art algorithms and data-structures. This third major release offers better support for modeling and analysis of very large systems.

Dates et versions

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

Identifiants

Citer

Alexandre Hamez, Lom Messan Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, et al.. New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems. 6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. pp.273-275, ⟨10.1109/ACSD.2006.15⟩. ⟨hal-01351775⟩
171 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More