 |
|
|
|
| HAL : inria-00516181, version 1 |
| Voir la fiche détaillée |  BibTeX,EndNote,... |
|
|
| SIES 2008, Monpellier : France (2008) |
|
|
|
|
| Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets |
|
|
| Hehua Zhang 1Ming Gu 1 |
|
|
| (13/06/2008) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | FORMES (LIAMA) |
|
|
|
INRIA – Tsinghua University / Beijing – LIAMA |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| inria-00516181, version 1 | |
| http://hal.inria.fr/inria-00516181 | |
| oai:hal.inria.fr:inria-00516181 | |
| Contributeur : Hehua Zhang | |
| Soumis le : Jeudi 9 Septembre 2010, 03:54:58 | |
| Dernière modification le : Mardi 14 Septembre 2010, 16:48:14 | |
