Petri Nets Analysis: Complexity and Finite Coverability Graph in Modular Design

Didier Crestani 1 Alain Jean-Marie 2 Christine Coves 3
1 EXPLORE - Robotique mobile pour l'exploration de l'environnement
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 APR - Algorithmes et Performance des Réseaux
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : The Petri net is a very efficient model to describe and analyse the behaviour of Discrete Event Systems. However, faced to the complexity, modular design is needed to deal with large systems. The coverability graph is a useful tool allowing to analyse system's properties. But its capacities are limited to finite coverability graph merging for modular design. This paper studies the temporal complexity of finite coverability graph construction using the minimal coverability graph algorithm. It focuses on modular design using shared transitions and concludes on the advantages and drawbacks of this class of approach.
Type de document :
Article dans une revue
Studies in Informatics and Control, Informatics and Control Publications, 2005, 14 (1), pp.55-64
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00105305
Contributeur : Christine Carvalho de Matos <>
Soumis le : mercredi 11 octobre 2006 - 07:51:16
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : mardi 6 avril 2010 - 19:16:43

Fichier

Identifiants

  • HAL Id : lirmm-00105305, version 1

Citation

Didier Crestani, Alain Jean-Marie, Christine Coves. Petri Nets Analysis: Complexity and Finite Coverability Graph in Modular Design. Studies in Informatics and Control, Informatics and Control Publications, 2005, 14 (1), pp.55-64. 〈lirmm-00105305〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

459