Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00516181
Contributor : Hehua Zhang <>
Submitted on : Thursday, September 9, 2010 - 3:54:58 AM
Last modification on : Tuesday, March 17, 2020 - 3:01:27 AM
Long-term archiving on: : Friday, December 10, 2010 - 2:30:41 AM

File

Modeling_and_Analysis_of_Stage...
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00516181⟩

Share

Metrics

Record views

241

Files downloads

200