Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets

Hehua Zhang 1 Ming Gu 1 Xiaoyu Song 1
1 FORMES - Formal Methods for Embedded Systems
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
Abstract : This paper presents an approach and successful experience of applying timed colored Petri nets on modeling and analyzing a stage machinery control system. The programmable logic controllers (PLCs) based system is modeled with timing constraints. The compositionality is incorporated in the modeling process of the entire design. The PLC synchronization problem with the interactions of environment is analyzed by the state space analysis method. The case studies demonstrate the effectiveness of the approach.
Type de document :
Communication dans un congrès
SIES 2008, Jun 2008, Monpellier, France. 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00516181
Contributeur : Hehua Zhang <>
Soumis le : jeudi 9 septembre 2010 - 03:54:58
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : vendredi 10 décembre 2010 - 02:30:41

Fichier

Modeling_and_Analysis_of_Stage...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00516181, version 1

Collections

Citation

Hehua Zhang, Ming Gu, Xiaoyu Song. Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets. SIES 2008, Jun 2008, Monpellier, France. 2008. 〈inria-00516181〉

Partager

Métriques

Consultations de la notice

177

Téléchargements de fichiers

130